From 8e8b7757e217da81f2a72e2ecc636a48ebccc5b8 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Wed, 8 May 2019 18:08:10 +0200 Subject: [PATCH] fix(library/Makefile): recreate libleanstdlib.a from scratch to avoid conflicts when moving files --- library/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/library/Makefile.in b/library/Makefile.in index 34b26db4ff..5a162b5adb 100644 --- a/library/Makefile.in +++ b/library/Makefile.in @@ -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: