diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -163,6 +163,9 @@ config.mk: configure.sh # Integer implementations depend on the shared header: src/stdlib/int64.o src/stdlib/int32.o src/stdlib/int16.o src/stdlib/int8.o: src/stdlib/intX.c.h +# Num implementations depend on the shared header: +src/stdlib/num32.o src/stdlib/num64.o: src/stdlib/numX.c.h + # Specifically src/tomo.c needs to recompile if CHANGES.md changes: src/tomo.o: src/tomo.c src/ast.h src/environment.h src/types.h config.mk src/changes.md.h @$(ECHO) $(CC) $(CFLAGS_PLACEHOLDER) -c $< -o $@ |