Admin/makebin
changeset 10090 36d1218b58f4
parent 10087 4dc7edfb0b5f
child 10097 1db5bd97f6a3
equal deleted inserted replaced
10089:39f94bf02706 10090:36d1218b58f4
     5 # makebin -- make Isabelle logic images for current platform.
     5 # makebin -- make Isabelle logic images for current platform.
     6 
     6 
     7 
     7 
     8 ## global settings
     8 ## global settings
     9 
     9 
    10 FAKE_BUILD="true"
    10 FAKE_BUILD=""
    11 DISTBASE=~/tmp/isadist
    11 DISTBASE=~/tmp/isadist
    12 TMP="/tmp/isabelle-makebin$$"
    12 TMP="/tmp/isabelle-makebin$$"
    13 
    13 
    14 TAR=tar
    14 TAR=tar
    15 type -path gtar >/dev/null && TAR=gtar
    15 type -path gtar >/dev/null && TAR=gtar