Skip to content
Snippets Groups Projects
Commit 385adb76 authored by Andre Maroneze's avatar Andre Maroneze Committed by Allan Blanchard
Browse files

[configure] use --prefix argument during 'make install'

parent 4bc93e13
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitignore
+ 1
− 0
View file @ 385adb76
...@@ -29,6 +29,7 @@ autom4te.cache ...@@ -29,6 +29,7 @@ autom4te.cache
.log.autoconf .log.autoconf
/.depend /.depend
/config.log /config.log
/config.prefix
/config.status /config.status
/frama-c*.tar.gz /frama-c*.tar.gz
/distributed /distributed
......
Makefile
+ 1
− 0
View file @ 385adb76
...@@ -123,6 +123,7 @@ force-reconfigure: ...@@ -123,6 +123,7 @@ force-reconfigure:
# INSTALL/UNINSTALL # INSTALL/UNINSTALL
################################ ################################
sinclude config.prefix
FRAMAC_INSTALLDIR?= FRAMAC_INSTALLDIR?=
INSTALLDIR:=$(FRAMAC_INSTALLDIR) INSTALLDIR:=$(FRAMAC_INSTALLDIR)
......
configure.ac
+ 4
− 2
View file @ 385adb76
...@@ -88,8 +88,10 @@ fi ...@@ -88,8 +88,10 @@ fi
# Check for invalid command-line options # # Check for invalid command-line options #
########################################## ##########################################
case $prefix in case $prefix in
*\ * ) AC_MSG_ERROR(spaces not allowed in --prefix argument "$prefix");; *\'*|*\"* ) AC_MSG_ERROR(quotes not allowed in --prefix argument: $prefix);;
* ) ;; * )
echo "FRAMAC_INSTALLDIR?=\"$prefix\"" > config.prefix
;;
esac esac
############################# #############################
......
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