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

fix(library/Makefile.in): add .olean as .cpp dependency

Browse source
This commit is contained in:
Leonardo de Moura 2019-02-08 17:09:53 -08:00
parent 6cb96331b1
commit 613980fb30
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
library/Makefile.in
View file

@ -29,7 +29,7 @@ clean:
find . -name *.olean -delete
find . -name *.depend -delete
$(BOOT_DIR)/%.cpp: %.lean
$(BOOT_DIR)/%.cpp: %.lean %.olean
@mkdir -p $(@D)
$(LEAN) $(OPTS) --cpp=$@ $<

2
src/boot/init/version.cpp
View file

@ -41,7 +41,7 @@ obj* _init_l_lean_githash() {
_start:
{
obj* x_0;
x_0 = lean::mk_string("2d55c3f73cf26b483826a13606eda8621334f246");
x_0 = lean::mk_string("6cb96331b13a3f7b3186bc69862e3f6f7a27ba8f");
return x_0;
}
}