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

fix(library/Makefile): recreate libleanstdlib.a from scratch to avoid conflicts when moving files

Browse source
This commit is contained in:
Sebastian Ullrich 2019-05-08 18:08:10 +02:00
parent 0de9a92d4c
commit 8e8b7757e2
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
library/Makefile.in
View file

@ -45,6 +45,7 @@ $(STAGE1_OUT)/%.o: $(STAGE1_DIR)/%.cpp
../bin/leanc -c -o $@ $< $(LEANC_OPTS)
$(STAGE1_OUT)/libleanstdlib.a: $(addprefix $(STAGE1_OUT)/,$(patsubst %.lean,%.o,$(SRCS)))
@rm -f $@
@ar rcs $@ $^
update-stage0: