Skip to content

Commit

Permalink
[util] Add NumParse to Makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
titzer committed Aug 15, 2024
1 parent b565294 commit 7c8e03d
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
LIB_UTIL=lib/util/*.v3
LIB_ASM=lib/asm/*/*.v3
LIB_RT=rt/*/*.v3
UTILS=bin/utils/vctags bin/utils/progress bin/utils/nu
UTILS=bin/utils/vctags bin/utils/progress bin/utils/nu bin/utils/np

all: bootstrap utils TAGS

Expand All @@ -14,6 +14,9 @@ bin/utils/progress: bootstrap apps/Progress/* $(LIB_UTIL)
bin/utils/nu: bootstrap apps/NumUtil/* $(LIB_UTIL)
(cd apps/NumUtil && v3c-host -program-name=nu -output=../../bin/utils/ *.v3 `cat DEPS`)

bin/utils/np: bootstrap apps/NumParse/* $(LIB_UTIL)
(cd apps/NumParse && v3c-host -program-name=np -output=../../bin/utils/ *.v3 `cat DEPS`)

utils: $(UTILS)

bootstrap: bin/stable/*/* aeneas/src/*/*.v3 $(LIB_UTIL) $(LIB_RT) $(LIB_ASM)
Expand Down

0 comments on commit 7c8e03d

Please sign in to comment.