config.sh.in 796 Bytes
Newer Older
Andrei Paskevich's avatar
minor  
Andrei Paskevich committed
1
#!/bin/sh
2

3
config=src/util/config.ml
4

5 6
libdir="\"$LIBDIR/why3\""
datadir="\"$DATADIR/why3\""
7 8
localdir="None"

9 10 11 12 13 14 15 16 17
if [ "@enable_relocation@" = "yes" ]; then
    libdir='Filename.concat (Filename.concat (Filename.dirname
        (Filename.dirname Sys.executable_name)) "lib") "why3"'
    datadir='Filename.concat (Filename.concat (Filename.dirname
        (Filename.dirname Sys.executable_name)) "share") "why3"'
    localdir="None"
elif [ "@enable_local@" = "yes" ]; then
    libdir="\"@LOCALDIR@/lib\""
    datadir="\"@LOCALDIR@/share\""
18 19 20
    localdir="Some \"@LOCALDIR@\""
fi

21
echo "
22 23 24
let version   = \"@VERSION@\"
let builddate = \"@BUILDDATE@\"

25 26
let libdir    = $libdir
let datadir   = $datadir
27
let localdir  = $localdir
28 29

let compile_time_support = [ @COMPILETIMECOQ@ @COMPILETIMEPVS@ ]
30
" > $config