diff options
Diffstat (limited to 'mkconfig.sh')
| -rwxr-xr-x | mkconfig.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mkconfig.sh b/mkconfig.sh index d8d0eaf..54a91c2 100755 --- a/mkconfig.sh +++ b/mkconfig.sh @@ -21,6 +21,8 @@ HVINFO_FREEBSD=False VERSION=$(cat VERSION) +CONFIG=config.def + OS=$(uname) case $OS in Linux) @@ -34,6 +36,14 @@ case $OS in exit 1 esac +# Create the gnatprep defs file +# Determine the arch +rm -f $CONFIG +ARCH=$(uname -m) +if [ $(expr $ARCH : 'i*86') -o $(expr $ARCH : 'amd64') -o $(expr $ARCH : 'x86_64') ]; then + echo "X86 := True" >> $CONFIG +fi + $GNATPREP -D LINUX=$HVINFO_LINUX \ -D FREEBSD=$HVINFO_FREEBSD \ -D VERSION=\"$VERSION\" \ |