Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 3a07b255 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Renamed bench/ to test/.

parent 01066c2b
......@@ -30,14 +30,14 @@ MD5SUM := $(shell if hash md5 2>/dev/null ; then echo "md5 -r" ; else echo md5
# or that MENHIR is properly set.
test:
$(MAKE) -C bench
$(MAKE) -C test
# -------------------------------------------------------------------------
# Cleaning up.
clean:
@ for i in bench demos src ; do \
@ for i in test demos src ; do \
$(MAKE) -C $$i $@ ; \
done
@ $(MAKE) -rs -C doc $@
......
......@@ -13,7 +13,7 @@ all:
rm -f $(MAIN).native
cp -f _build/$(MAIN).native $(EXECUTABLE)
TEST := ../../bench/good/parser_raw
TEST := ../../test/good/parser_raw
test: all
rm -f $(TEST).cmly
......
......@@ -10,7 +10,7 @@
# Use as follows:
# OPT=--lalr ./compare.sh ocaml
BENCH=../bench/good
BENCH=../test/good
MENHIR=_stage1/menhir.native
BASE="-v -lg 1"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment