Skip to content

Commit

Permalink
Modified the codegenTest target to check diff
Browse files Browse the repository at this point in the history
This ensures that the generated code for GOOL tests matches that in
`stable/gooltest`.  `codegenTest` is already in our CI from the looks of
it, so this should improve our CI.
  • Loading branch information
B-rando1 committed Aug 2, 2024
1 parent 3261db3 commit 81bdbed
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions code/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -308,9 +308,14 @@ $(filter %$(GEN_E_SUFFIX), $(GEN_EXAMPLES)): %$(GEN_E_SUFFIX):

# Compiles GOOL examples to concrete code (Java, C++, etc.)
$(GOOLTEST)$(GEN_E_SUFFIX):
- rm -rf "$(BUILD_FOLDER)$(GOOLTEST_DIR)"
make $(CLEAN_GF_PREFIX)$(LOG_FOLDER_NAME)
stack build $(stackArgs) "drasil-code:exe:$(GOOLTEST_EXE)"
@mkdir -p "$(BUILD_FOLDER)$(GOOLTEST_DIR)"
cd "$(BUILD_FOLDER)$(GOOLTEST_DIR)" && $(STACK_EXEC) -- "$(GOOLTEST_EXE)"
@mkdir -p "$(LOG_FOLDER)"
- $(DIFF) "$(STABLE_FOLDER)$(GOOLTEST_DIR)/" "$(BUILD_FOLDER)$(GOOLTEST_DIR)/" > "$(LOG_FOLDER)$(GOOLTEST_DIR)$(LOG_SUFFIX)"
@LOG_FOLDER="$(LOG_FOLDER)" LOG_SUFFIX="$(LOG_SUFFIX)" NOISY=$(NOISY) "$(SHELL)" "$(SCRIPT_FOLDER)log_check.sh"

# Install individual Drasil examples
$(filter %$(INSTALL_E_SUFFIX), $(INSTALL_EXAMPLES)): %$(INSTALL_E_SUFFIX):
Expand Down

0 comments on commit 81bdbed

Please sign in to comment.