Merge branch 'feature/dune-cleaning-makefiles' into feature/bobot/jbuilder

share/Makefile.testing

@@ -100,9 +100,9 @@ wtests-help:
 
 .PHONY: purge-tests
 purge-tests:
-	find $(PURGED_PTEST_DIRS) -name dune -print0 \
-        | grep --null -e "/oracle.*/dune\|/result.*/dune" \
-        | xargs --null --no-run-if-empty -n 10 rm
+	find $(PURGED_PTEST_DIRS) -name dune \
+        | grep -e "/oracle.*/dune\|/result.*/dune" \
+        | xargs --no-run-if-empty -n 10 rm
 
 # Force the full cleaning of the testing environment
 .PHONY: clean-tests

src/kernel_internals/parsing/tests/check_logic_parser.ml

@@ -20,7 +20,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-let file = open_in "logic_parser.mly"
+let file = open_in "../logic_parser.mly"
 
 module Strings = Set.Make(String)
 

src/kernel_internals/parsing/tests/dune

@@ -21,3 +21,18 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (include_subdirs no)
+
+(executable
+ (name check_logic_parser)
+ (libraries unix str)
+)
+
+(rule
+ (alias run-coding-tests)
+ (deps ../logic_parser.mly)
+ (action  (run %{dep:./check_logic_parser.exe})))
+
+(alias
+  (deps (alias run-coding-tests) )
+  (name ptests)
+)