Temporary workaround

FStarLang · Jan 26, 2017 · 72a0d51 · 72a0d51
1 parent 7bc255e
commit 72a0d51
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/incl/Makefile b/examples/incl/Makefile
@@ -15,10 +15,10 @@ all: uall
 uall: $(POSTARGETS) $(NEGTARGETS)
 
 $(POSTARGETS): %.pver: %
-	$(FSTAR) --include $^ --odir $^ Test.fst
+	$(FSTAR) --include $^ --odir $^ $^/Test.fst
 
 $(NEGTARGETS): %.nver: %
-	! $(FSTAR) --include $^ --odir $^ Test.fst > $^/error.log 2>&1
+	! $(FSTAR) --include $^ --odir $^ $^/Test.fst > $^/error.log 2>&1
 	@echo $^ failed as expected
 
 clean: