Merge pull request #999 from ucb-bar/dev-use-github-actions-plus-circle-ci

Add support for GitHub Actions
This commit is contained in:
Abraham Gonzalez
2021-10-27 10:12:31 -07:00
committed by GitHub
21 changed files with 1559 additions and 13 deletions

View File

@@ -8,7 +8,7 @@ AXE=$(AXE_DIR)/axe
$(AXE): $(wildcard $(AXE_DIR)/*.[ch]) $(AXE_DIR)/make.sh
cd $(AXE_DIR) && ./make.sh
$(output_dir)/tracegen.out: $(sim)
$(output_dir)/tracegen.out: $(SIM_PREREQ)
mkdir -p $(output_dir) && $(sim) $(PERMISSIVE_ON) $(SIM_FLAGS) $(EXTRA_SIM_FLAGS) $(SEED_FLAG) $(VERBOSE_FLAGS) $(PERMISSIVE_OFF) none </dev/null 2> $@
$(output_dir)/tracegen.result: $(output_dir)/tracegen.out $(AXE)