Commit 3ff2f765 authored by POTTIER Francois's avatar POTTIER Francois

Improvements to GNUmakefile.

make local: transmit PATH.
make unlocal: new feature.
parent cb7268a7
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
SHELL := bash SHELL := bash
.PHONY: all test clean package check api export godi opam local .PHONY: all test clean package check api export godi opam local unlocal
# ------------------------------------------------------------------------- # -------------------------------------------------------------------------
...@@ -235,5 +235,9 @@ opam: ...@@ -235,5 +235,9 @@ opam:
local: local:
$(MAKE) package $(MAKE) package
$(MAKE) -C $(PACKAGE) PREFIX=/usr/local USE_OCAMLFIND=false all $(MAKE) -C $(PACKAGE) PREFIX=/usr/local USE_OCAMLFIND=true all
sudo $(MAKE) -C $(PACKAGE) PREFIX=/usr/local USE_OCAMLFIND=false install sudo PATH="$(PATH)" $(MAKE) -C $(PACKAGE) PREFIX=/usr/local USE_OCAMLFIND=true install
unlocal:
sudo PATH="$(PATH)" $(MAKE) -C $(PACKAGE) PREFIX=/usr/local USE_OCAMLFIND=true uninstall
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment