Skip to content
Snippets Groups Projects
Commit 78accc93 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[install] allows to use FRAMAC_INSTALLDIR when PREFIX is undefined

parent 6a1843a0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
share/Makefile.common
+ 4
− 0
View file @ 78accc93
...@@ -54,12 +54,16 @@ PLATFORM:=$(shell uname -s) ...@@ -54,12 +54,16 @@ PLATFORM:=$(shell uname -s)
############# #############
ifndef PREFIX ifndef PREFIX
ifdef FRAMAC_INSTALLDIR
PREFIX=$(FRAMAC_INSTALLDIR)
else
ifdef OPAM_SWITCH_PREFIX ifdef OPAM_SWITCH_PREFIX
PREFIX=$(OPAM_SWITCH_PREFIX) PREFIX=$(OPAM_SWITCH_PREFIX)
else else
PREFIX=/usr/local PREFIX=/usr/local
endif endif
endif endif
endif
############# #############
# Verbosing # # Verbosing #
......
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