]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - configure-oclosure.sh
projects / pkg-cerco / acc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Package description and copyright added.
[pkg-cerco/acc.git] / configure-oclosure.sh
1 #!/usr/bin/env sh
2
3 rm -f _tags
4 cat _tags.compiler > _tags
5 cat _tags.js_of_ocaml >> _tags
6 ocamlbuild -use-ocamlfind -no-hygiene src/utilities/checkOClosure.byte -quiet || true
7 ocamlbuild -clean -quiet
8 rm -f _tags
Unnamed repository; edit this file 'description' to name the repository.