Update makefile to work with CI

ethanuppal · Apr 13, 2024 · 4207137 · 4207137
1 parent 34c3ab8
commit 4207137
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -1,15 +1,15 @@
 .PHONY: build
 build:
 	@rm -f ./main
-	dune build
+	opam exec -- dune build
 	@cp _build/install/default/bin/cs3110_compiler ./main
 	@chmod u+x ./main
 
 .PHONY: test 
 test: build 
-	dune test
+	opam exec -- dune test
 
 .PHONY: clean
 clean:
-	dune clean
+	opam exec -- dune clean
 	@rm -rf ./main
diff --git a/test/dune b/test/dune
@@ -1,5 +1,5 @@
 (test
  (name test_cs3110_compiler)
- (libraries cs3110_compiler ounit2 alcotest)
+ (libraries cs3110_compiler alcotest)
  (deps
   (source_tree snapshots)))