Mentions légales du service

Skip to content
Snippets Groups Projects
Commit c6eb3dea authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

remove 'mkdir' from Main, that was a bad idea

parent 77f29212
No related branches found
No related tags found
No related merge requests found
...@@ -191,6 +191,7 @@ bin/manager.byte: $(MANAGER_CMO) ...@@ -191,6 +191,7 @@ bin/manager.byte: $(MANAGER_CMO)
############## ##############
test: bin/why.byte $(TOOLS) test: bin/why.byte $(TOOLS)
mkdir -p output_why3
ocamlrun -bt bin/why.byte -I theories/ -D drivers/why3.drv \ ocamlrun -bt bin/why.byte -I theories/ -D drivers/why3.drv \
-o output_why3 src/test.why -o output_why3 src/test.why
bin/why.byte -D drivers/alt_ergo.drv -I theories/ \ bin/why.byte -D drivers/alt_ergo.drv -I theories/ \
...@@ -202,6 +203,7 @@ test: bin/why.byte $(TOOLS) ...@@ -202,6 +203,7 @@ test: bin/why.byte $(TOOLS)
echo bin/why.byte -D drivers/alt_ergo.drv -I theories/ \ echo bin/why.byte -D drivers/alt_ergo.drv -I theories/ \
--timeout 1 --prove theories/real.why --timeout 1 --prove theories/real.why
@printf "*** Checking Coq file generation ***\\n" @printf "*** Checking Coq file generation ***\\n"
@mkdir -p output_coq
@for i in int.Abs int.EuclideanDivision int.ComputerDivision \ @for i in int.Abs int.EuclideanDivision int.ComputerDivision \
real.Abs real.FromIntTest real.SquareTest \ real.Abs real.FromIntTest real.SquareTest \
real.ExpLogTest real.PowerTest real.TrigonometryTest \ real.ExpLogTest real.PowerTest real.TrigonometryTest \
......
...@@ -206,8 +206,6 @@ let do_task env drv fname tname th task = ...@@ -206,8 +206,6 @@ let do_task env drv fname tname th task =
| None -> | None ->
printf "@[%a@]@?" (Driver.print_task drv) task printf "@[%a@]@?" (Driver.print_task drv) task
| Some dir -> | Some dir ->
try Unix.mkdir dir 0o755
with Unix.Unix_error (Unix.EEXIST,_,_) -> ();
let file = let file =
let file = Filename.basename fname in let file = Filename.basename fname in
try Filename.chop_extension file try Filename.chop_extension file
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment