mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

Added install/uninstall to Makefile

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-09 02:11:26 -07:00
parent 5c6c07c1e2
commit a68ba36445
2 changed files with 39 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

29
Makefile.in
View file

@ -19,6 +19,7 @@ LIBS=@LIBS@
## -lrt is for timer_create and timer_settime
LDFLAGS=@LDFLAGS@ -lpthread -fopenmp
LDFLAGS_EXTRA=
PREFIX=@prefix@
#########################
Z3=z3
@ -435,3 +436,31 @@ checkgmake:
@ ./gmaketest --make=$(MAKE) || \
(echo "Z3 needs GNU-Make to be built"; exit 1)
################################
#
# installation/uninstallation
#
################################
install: $(BIN_DIR)/$(Z3) $(BIN_DIR)/lib$(Z3).so $(BIN_DIR)/lib$(Z3).a
@mkdir -p $(PREFIX)/bin
@mkdir -p $(PREFIX)/lib
@mkdir -p $(PREFIX)/include
@cp $(BIN_DIR)/$(Z3) $(PREFIX)/bin
@cp $(BIN_DIR)/lib$(Z3).so $(PREFIX)/lib
@cp $(BIN_DIR)/lib$(Z3).a $(PREFIX)/lib
@cp lib/z3_api.h $(PREFIX)/include
@cp lib/z3.h $(PREFIX)/include
@cp lib/z3_v1.h $(PREFIX)/include
@cp lib/z3_macros.h $(PREFIX)/include
@cp c++/z3++.h $(PREFIX)/include
uninstall:
@rm -f $(PREFIX)/bin/$(Z3)
@rm -f $(PREFIX)/lib/lib$(Z3).so
@rm -f $(PREFIX)/lib/lib$(Z3).a
@rm -f $(PREFIX)/include/z3_api.h
@rm -f $(PREFIX)/include/z3.h
@rm -f $(PREFIX)/include/z3_v1.h
@rm -f $(PREFIX)/include/z3_macros.h
@rm -f $(PREFIX)/include/z3++.h

27
README
View file

@ -19,33 +19,26 @@ Z3 can be built using Visual Studio Command Prompt, Visual Studio and make/gcc.
msbuild z3-prover.sln
All components will be located at /debug
1) Building Z3 using g++/make
2) Building Z3 using g++/make
Your machine must also have the following commands to be able to build Z3:
autoconf, sed, awk, dos2unix commands
- Open a shell
- For building the z3 executable, execute
autoconf
./configure
make
sudo make install
The z3 executable will be located at bin/external/
It will install z3 executable at /usr/local/bin, libraries at /usr/local/lib, and include files at /usr/local/include.
Use the following commands to install in a different prefix (e.g., /usr).
- If you want a static library for Z3
autoconf
./configure --prefix=/usr
make
sudo make install
make a
To uninstall z3, use
- If you also want the z3 shared library, execute
make so
for libz3.so (on Linux)
make dylib
for libz3.dylib (on OSX)
sudo make uninstall
Remark: the Z3 makefile imports the source file list from Visual Studio project files.
To add new source files to the Z3 core, you must include them at: lib/lib.vcxproj