35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
echo You are using PREFIX=$PREFIX
echo You are using proxy="$proxy"
echo
echo "Set additional_libpath to help find gtk or other libraries, don't forget a leading :"
SYSTEM_TYPE=$(lsb_release -irs |tr ' ' '_' |tr '\n' '-')$(uname -i)-$OPTION
CHICKEN_VERSION=4.12.0
CHICKEN_BASEVER=4.12.0
# Set up variables
#
case $SYSTEM_TYPE in
Ubuntu-17.04-x86_64-std)
KTYPE=32
CDVER=5.11.1
|
|
|
|
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
echo You are using PREFIX=$PREFIX
echo You are using proxy="$proxy"
echo
echo "Set additional_libpath to help find gtk or other libraries, don't forget a leading :"
SYSTEM_TYPE=$(lsb_release -irs |tr ' ' '_' |tr '\n' '-')$(uname -i)-$OPTION
CHICKEN_VERSION=4.10.0
CHICKEN_BASEVER=4.10.0
# Set up variables
#
case $SYSTEM_TYPE in
Ubuntu-17.04-x86_64-std)
KTYPE=32
CDVER=5.11.1
|