The unified diff between revisions [b0e6d86a..] and [2dcd0c66..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "Makefile"
#  from [16f322d1ac543f69274f286ed71d7a0888dbbafe]
#    to [fedb8a48e4887465512f802a44799dd696e32afb]
#
============================================================
--- Makefile	16f322d1ac543f69274f286ed71d7a0888dbbafe
+++ Makefile	fedb8a48e4887465512f802a44799dd696e32afb
@@ -50,6 +50,7 @@ TO_CLEAN += src/gmp-constants.ads
 	./$< > $@
 TO_CLEAN += src/gmp-constants.ads

+generate_constants: CFLAGS += -g -Wall -Wextra
 generate_constants: LDFLAGS += -lgmp
 TO_CLEAN += generate_constants