Merge pull request #49 from dinosaure/rec-opam

Avoid call of opam when we install esperanto-cosmopolitan via opam
dinosaure · Aug 14, 2024 · 9b46a4f · 9b46a4f
2 parents 37b13db + e583070
commit 9b46a4f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/toolchain/GNUmakefile b/toolchain/GNUmakefile
@@ -1,7 +1,7 @@
 export TOPDIR := $(abspath .)
 
-EXTRACT=opam exec -- dune exec --root=${TOPDIR} --display=verbose ./extract.exe --
-INSTALL=opam exec -- dune exec --root=${TOPDIR} --display=verbose ./install.exe --
+EXTRACT=dune exec --root=${TOPDIR} --display=verbose ./extract.exe --
+INSTALL=dune exec --root=${TOPDIR} --display=verbose ./install.exe --
 DISTRIBUTION=cosmocc.zip
 DIGEST=cosmocc.digest
 DST=cosmo
@@ -29,7 +29,7 @@ install: ${COSMOCC} ${OBJS}
 	@${INSTALL} -d ${DST} --digest ${DIGEST} --prefix "${PREFIX}"
 
 clean:
-	opam exec -- dune clean
+	dune clean
 	rm -rf ${DST}
 	rm -rf ${OBJS}