mirror of
https://github.com/AdaCore/AdaSAT.git
synced 2026-02-12 13:11:23 -08:00
6fd0822586
Non quoted paths turned backslashes to nothing and made gprbuild fail on windows due to looking for nonsensical paths.
48 lines
1.0 KiB
Makefile
48 lines
1.0 KiB
Makefile
BUILD_MODE ?= dev
|
|
LIBRARY_TYPE ?= relocatable
|
|
PROCESSORS ?= 0
|
|
BUILD_DIR ?= .
|
|
INSTALL_DIR ?= .
|
|
|
|
ALL_LIBRARY_TYPES = static static-pic relocatable
|
|
|
|
.PHONY: lib
|
|
lib:
|
|
gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
|
|
--relocate-build-tree="$(BUILD_DIR)" \
|
|
-XLIBRARY_TYPE=$(LIBRARY_TYPE) \
|
|
-XBUILD_MODE=$(BUILD_MODE)
|
|
|
|
.PHONY: all-libs
|
|
all-libs:
|
|
for kind in $(ALL_LIBRARY_TYPES) ; do \
|
|
gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
|
|
--relocate-build-tree="$(BUILD_DIR)" \
|
|
-XLIBRARY_TYPE=$$kind \
|
|
-XBUILD_MODE=$(BUILD_MODE) ; \
|
|
done
|
|
|
|
.PHONY: install
|
|
install:
|
|
for kind in $(ALL_LIBRARY_TYPES) ; do \
|
|
gprinstall -P adasat.gpr -p -f \
|
|
-XLIBRARY_TYPE=$$kind \
|
|
-XBUILD_MODE=$(BUILD_MODE) \
|
|
--relocate-build-tree="$(BUILD_DIR)" \
|
|
--prefix="$(INSTALL_DIR)" \
|
|
--build-name=$$kind \
|
|
--build-var=LIBRARY_TYPE ; \
|
|
done
|
|
|
|
.PHONY: test
|
|
clean:
|
|
gprclean -P adasat.gpr \
|
|
--relocate-build-tree="$(BUILD_DIR)" \
|
|
-XLIBRARY_TYPE=$(LIBRARY_TYPE) \
|
|
-XBUILD_MODE=$(BUILD_MODE)
|
|
|
|
.PHONY: test
|
|
test: lib
|
|
python3 testsuite/testsuite.py
|
|
|