max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library/Makefile.in): update stage1/CMakeLists.txt only when out of date

Browse source 
not sure this really improves anything
This commit is contained in:
Sebastian Ullrich 2019-03-15 10:36:16 +01:00
parent ee15a70098
commit 8a04ae56d5
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
library/Makefile.in
View file

@ -34,9 +34,11 @@ $(STAGE1_DIR)/%.cpp: %.lean %.olean
@mkdir -p $(@D)
$(LEAN) $(OPTS) --cpp=$@ $<
export-stage1: $(CPPS)
$(STAGE1_DIR)/CMakeLists.txt: $(CPPS)
echo "add_library (cpp_stage1 OBJECT $(CPPS_CORE))" > $(STAGE1_DIR)/CMakeLists.txt
export-stage1: $(STAGE1_DIR)/CMakeLists.txt
update-stage0:
rm -r $(STAGE0_DIR)/init
cp -R $(STAGE1_DIR)/init $(STAGE0_DIR)/init