Makefile: dune workspace for noppx test

gares · gares · commit c1b497c04533 · 2020-04-30T10:00:09.000+02:00
diff --git a/Makefile b/Makefile
@@ -56,6 +56,9 @@ tests:
 		$(addprefix --name-match ,$(ONLY)) \
 		$(addprefix --runner , $(RUNNERS))
 
+test-noppx:
+	dune build --workspace dune-workspace.noppx
+
 git/%:
 	rm -rf "_build/git/elpi-$*"
 	mkdir -p "_build/git/elpi-$*"
diff --git a/dune-workspace.noppx b/dune-workspace.noppx
@@ -0,0 +1,2 @@
+(lang dune 2.0)
+(context (opam (switch 4.04.0))) ; here I don't have ppxlib

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+(lang dune 2.0)`
	`2`	`+(context (opam (switch 4.04.0))) ; here I don't have ppxlib`