#!/usr/bin/make -f # FFLAGS because there are no Ada flags, and using CFLAGS results in a lot of warnings ADA_OPT = -gnatyN $(shell dpkg-buildflags --get FFLAGS) ADA_LINK = $(shell dpkg-buildflags --get LDFLAGS) ifeq (,$(filter noopt,$(DEB_BUILD_OPTIONS))) ADA_OPT += -fdata-sections -ffunction-sections ADA_LINK += -Wl,--gc-sections endif ifneq (,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) NUMJOBS = $(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) SPARKCPUS = $(NUMJOBS) else SPARKCPUS = 1 endif export ADA_OPT ADA_LINK SPARKCPUS %: dh $@ --with swi_prolog override_dh_auto_clean: $(MAKE) reallycleanall override_dh_auto_build: # create empty directories that can be destroyed by git mkdir -p victor/vct/bin mkdir -p bin mkdir -p share/spark dh_auto_build override_dh_auto_install: # nothing override_dh_auto_test: # nothing override_dh_install: dh_install rm -r debian/spark/usr/lib/spark/current/spark_