Fix 'make clean && make' again (hopefully for good) (#30)

gap-packages · Feb 7, 2024 · a0b164d · a0b164d
1 parent 9bb1b6e
commit a0b164d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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