The unified diff between revisions [60fc4a6c..] and [fa5851fd..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "Makefile"
#  from [54e81a24a122c4ff853884483348e7b2aa0fcc04]
#    to [2b8f3d5e0fcc2827d3f93131ae224b4eb383d2b6]
#
============================================================
--- Makefile	54e81a24a122c4ff853884483348e7b2aa0fcc04
+++ Makefile	2b8f3d5e0fcc2827d3f93131ae224b4eb383d2b6
@@ -28,11 +28,13 @@ build: $(SONAME) lib$(LIB_NAME).a $(LIB_

 build: $(SONAME) lib$(LIB_NAME).a $(LIB_NAME).gpr

-$(SONAME): gmp/gmp-constants.ads gmp/*.ads
+.PHONY: $(SONAME)
+$(SONAME): gmp/gmp-constants.ads
 	gnatmake -j$(CPUS) --create-missing-dirs -Pbuild.gpr \
           -XLIB_KIND=dynamic -XLIB_OBJ_DIR=shared-obj -XLIB_ALI_DIR=shared-ali

-lib$(LIB_NAME).a: gmp/gmp-constants.ads gmp/*.ads
+.PHONY: lib$(LIB_NAME).a
+lib$(LIB_NAME).a: gmp/gmp-constants.ads
 	gnatmake -j$(CPUS) --create-missing-dirs -Pbuild.gpr \
           -XLIB_KIND=static -XLIB_OBJ_DIR=static-obj -XLIB_ALI_DIR=static-ali