This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / DEVEL / pxp / pxp / rtests / codewriter / test_codewriter

diff --git a/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter b/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
deleted file mode 100755 (executable)
index 769b6b9..0000000
--- a/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
+++ /dev/null
@@ -1,18 +0,0 @@
-#! /bin/sh
-
-set -e
-
-sample="$1"
-echo "Testing $sample:"
-./compile -in "$sample" -out "sample.ml" -print -super-root -pis -comments >"out1"
-echo "- code written to sample.ml, formatted data to out1"
-OCAMLPATH=../.. ocamlfind ocamlc -package . -linkpkg -custom sample.ml -o sample
-echo "- sample.ml compiled to sample"
-./sample >out2
-echo "- re-read data written to out2"
-if cmp out1 out2; then
-    echo "- out1 and out2 are identical! OK"
-else
-    echo "- out1 and out2 differ! FAILURE!"
-    exit 1
-fi