]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / codewriter / test_codewriter
1 #! /bin/sh
2
3 set -e
4
5 sample="$1"
6 echo "Testing $sample:"
7 ./compile -in "$sample" -out "sample.ml" -print -super-root -pis -comments >"out1"
8 echo "- code written to sample.ml, formatted data to out1"
9 OCAMLPATH=../.. ocamlfind ocamlc -package . -linkpkg -custom sample.ml -o sample
10 echo "- sample.ml compiled to sample"
11 ./sample >out2
12 echo "- re-read data written to out2"
13 if cmp out1 out2; then
14     echo "- out1 and out2 are identical! OK"
15 else
16     echo "- out1 and out2 differ! FAILURE!"
17     exit 1
18 fi