]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Fix build
authorJérémie Astor <fennecdjay@gmail.com>
Tue, 15 Jun 2021 15:03:04 +0000 (17:03 +0200)
committerJérémie Astor <fennecdjay@gmail.com>
Tue, 15 Jun 2021 15:03:04 +0000 (17:03 +0200)
Makefile

index ce5a1275542adaddf843abb9e99eb003023e731e..78659b0dd93cb9548f9832d059c59c1f544ff120 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,7 @@ CFLAGS += -Wno-pedantic
 
 CFLAGS += -DGWION_BUILTIN
 
-all: options-show ${GWLIBS} src/main.o
+all: util/include/generated.h options-show ${GWLIBS} src/main.o
        @$(info link ${PRG})
        @${CC} src/main.o -o ${PRG} ${LDFLAGS} ${LIBS}
 
@@ -73,6 +73,9 @@ lto:
 lib${PRG}.a: ${lib_obj}
        @${AR} ${AR_OPT}
 
+util/include/generated.h:
+       @${MAKE} -C util include/generated.h
+
 util/libtermcolor/libtermcolor.a:
        @+${MAKE} BUILD_ON_WINDOWS=${BUILD_ON_WINDOWS} -s -C util/libtermcolor static