blob: 6d7ae15ee2b0169d8cbb76ffc58d768739e562b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/usr/bin/env bash
. ../template/init.sh
mv src/test_plugin.mlpack src/test_plugin.mllib
echo "let () = Foolib.foo ();;" >> src/test_aux.ml
export OCAMLPATH=$OCAMLPATH:$PWD/findlib
if which cygpath 2>/dev/null; then
# the only way I found to pass OCAMLPATH on win is to have it contain
# only one entry
OCAMLPATH=$(cygpath -w "$PWD"/findlib)
export OCAMLPATH
fi
make -C findlib/foo clean
coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
cat Makefile.local
make -C findlib/foo
if which ocamlopt >/dev/null 2>&1; then
make
fi
make byte
|
