Avoid call of opam when we install esperanto-cosmopolitan via opam

dinosaure · Dec 24, 2023 · b4ecdca · b4ecdca
1 parent 3d29894
commit b4ecdca
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}