1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/usr/bin/env bash
. ../template/init.sh
sed -i.old 's/coq-core.plugins.ltac/coq-core.plugins.ltac,foo/' src/META.coq-test-suite
echo "let () = Foolib.foo ();;" >> src/test_aux.ml
if which cygpath 2>/dev/null; then
# separator is ; on windows
OCAMLPATH=$OCAMLPATH;$(cygpath -m "$PWD"/findlib)
else
OCAMLPATH=$OCAMLPATH:$PWD/findlib
fi
export OCAMLPATH
make -C findlib/foo clean
coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
cat Makefile.local
make -C findlib/foo
make
make byte
|
