Merge pull request #123 from gebner/buildfixes

Assorted build fixes.
project-everest · Jan 22, 2024 · 00217c4 · 00217c4
2 parents 36b7b46 + 3fe0156
commit 00217c4
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 25 deletions.
diff --git a/src/3d/EverParse3DCompiler.fst.config.json b/src/3d/EverParse3DCompiler.fst.config.json
diff --git a/src/3d/prelude/EverParse3dPrelude.fst.config.json b/src/3d/prelude/EverParse3dPrelude.fst.config.json
diff --git a/src/3d/tests/modules/Makefile b/src/3d/tests/modules/Makefile
@@ -92,7 +92,7 @@ clean:
 
 # This rule is for continuous integration only (for the purpose of
 # testing EverParse.) It can be ignored by users.
-ci: $(EVERPARSE_ALL_O_FILES)
+ci: $(EVERPARSE_ALL_O_FILES) $(EVERPARSE_ALL_H_FILES)
 	! test -e $(EVERPARSE_OUTPUT_DIR)/Lib.h
 	$(EVERPARSE_CMD) --check_inplace_hash src/Point.3d=$(EVERPARSE_OUTPUT_DIR)/Point.h
 	$(EVERPARSE_CMD) --check_inplace_hash src/Point.3d=$(EVERPARSE_OUTPUT_DIR)/Point.c