From: acondolu Date: Fri, 1 Jun 2018 07:48:13 +0000 (+0200) Subject: Renamed output files X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=42d291fb023ac67d1a12c128c2280c34a451b20c;p=fireball-separation.git Renamed output files --- diff --git a/ocaml/Makefile b/ocaml/Makefile index 2557224..5ce4885 100644 --- a/ocaml/Makefile +++ b/ocaml/Makefile @@ -2,16 +2,16 @@ OCAMLC = ocamlopt -g -rectypes LIB = unix.cmxa str.cmxa UTILS = util.cmx console.cmx listx.cmx pure.cmx num.cmx parser.cmx problems.cmx -all: a.out test4.out simple.out simple_test.out +all: lambda4.out lambda4_test.out simple.out simple_test.out -run: test4.out +run: lambda4_test.out bash run -a.out: $(UTILS) lambda4.cmx - $(OCAMLC) -o a.out $(LIB) $^ +lambda4.out: $(UTILS) lambda4.cmx + $(OCAMLC) -o lambda4.out $(LIB) $^ -test4.out: $(UTILS) lambda4.cmx test.ml - $(OCAMLC) -o test4.out $(LIB) $^ +lambda4_test.out: $(UTILS) lambda4.cmx test.ml + $(OCAMLC) -o lambda4_test.out $(LIB) $^ simple.out: $(UTILS) simple.cmx $(OCAMLC) -o simple.out $(LIB) $^ diff --git a/ocaml/run b/ocaml/run index 77957cd..2bdbc7b 100644 --- a/ocaml/run +++ b/ocaml/run @@ -9,7 +9,7 @@ echo trap 'echo' SIGINT -./test4.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' ' +./lambda4_test.out 2>&1 | tee $file | stdbuf -o0 grep -Po '(?<=measure=)[^ ]*' | stdbuf -o0 tr '\n' ' ' if [ $? -eq 0 ] then