From a0b164d01d6a3f4743e691c564bc8faed8011795 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 7 Feb 2024 23:21:54 +0100 Subject: [PATCH] Fix 'make clean && make' again (hopefully for good) (#30) --- Makefile.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 3da0467..adc2457 100644 --- a/Makefile.in +++ b/Makefile.in @@ -43,10 +43,13 @@ bin/$(GAParch)/configure: cnf/configure.out bin/$(GAParch)/Makefile: bin/$(GAParch)/configure cnf/config.hin ( cd bin/$(GAParch) ; CC=$(CC) ./configure @gp_configure_options@ ) -compile: bin/$(GAParch)/configure bin/$(GAParch)/Makefile +compile: bin/$(GAParch)/configure bin/$(GAParch)/Makefile xgap.sh ( cd bin/$(GAParch) ; $(MAKE) CC=$(CC) ) cp xgap.sh bin/xgap.sh +xgap.sh: + ./config.status xgap.sh + clean: rm -rf bin/$(GAParch) rm -f xgap.sh bin/xgap.sh