Codebase list geneweb / debian/6.04-1 configure
debian/6.04-1

Tree @debian/6.04-1 (Download .tar.gz)

configure @debian/6.04-1raw · history · blame

#!/bin/sh

if ocamlc -v >/dev/null 2>&1; then :
else
    echo "You need the command ocamlc accessible in the path!"
    echo "Configuration script failed!"
    exit 1
fi

if camlp5 -v >/dev/null 2>&1; then :
else
    echo "You need the command camlp5 accessible in the path!"
    echo "Configuration script failed!"
    exit 1
fi

echo "print_endline Sys.os_type;;" > tools/tmp
if [ "`ocaml tools/tmp`" = "Unix" ]; then
  cp tools/Makefile.inc.unix tools/Makefile.inc
else
  cp tools/Makefile.inc.win tools/Makefile.inc
fi
rm tools/tmp