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

chore(boot): update

Browse source
This commit is contained in:
Sebastian Ullrich 2019-02-07 14:28:26 +01:00
parent 12480e665e
commit e08df252d3
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/boot/CMakeLists.txt
View file

@ -1 +1 @@
add_library (boot OBJECT ./init/data/to_string.cpp ./init/data/rbtree/default.cpp ./init/data/rbtree/basic.cpp ./init/data/option/instances.cpp ./init/data/option/basic.cpp ./init/data/ordering/default.cpp ./init/data/ordering/basic.cpp ./init/data/int/default.cpp ./init/data/int/basic.cpp ./init/data/rbmap/default.cpp ./init/data/rbmap/basic.cpp ./init/data/hashmap/basic.cpp ./init/data/default.cpp ./init/data/repr.cpp ./init/data/usize.cpp ./init/data/array/default.cpp ./init/data/array/basic.cpp ./init/data/basic.cpp ./init/data/string/default.cpp ./init/data/string/basic.cpp ./init/data/nat/default.cpp ./init/data/nat/basic.cpp ./init/data/nat/div.cpp ./init/data/char/default.cpp ./init/data/char/basic.cpp ./init/data/fin/default.cpp ./init/data/fin/basic.cpp ./init/data/uint.cpp ./init/data/hashable.cpp ./init/data/dlist.cpp ./init/data/list/default.cpp ./init/data/list/instances.cpp ./init/data/list/basic.cpp ./init/lean/frontend.cpp ./init/lean/expr.cpp ./init/lean/level.cpp ./init/lean/options.cpp ./init/lean/name.cpp ./init/lean/name_mangling.cpp ./init/lean/ir/elim_phi.cpp ./init/lean/ir/parser.cpp ./init/lean/ir/reserved.cpp ./init/lean/ir/extract_cpp.cpp ./init/lean/ir/lirc.cpp ./init/lean/ir/instances.cpp ./init/lean/ir/type_check.cpp ./init/lean/ir/format.cpp ./init/lean/ir/ssa_check.cpp ./init/lean/ir/ir.cpp ./init/lean/position.cpp ./init/lean/elaborator.cpp ./init/lean/parser/command.cpp ./init/lean/parser/level.cpp ./init/lean/parser/rec.cpp ./init/lean/parser/pratt.cpp ./init/lean/parser/term.cpp ./init/lean/parser/identifier.cpp ./init/lean/parser/token.cpp ./init/lean/parser/combinators.cpp ./init/lean/parser/module.cpp ./init/lean/parser/string_literal.cpp ./init/lean/parser/trie.cpp ./init/lean/parser/basic.cpp ./init/lean/parser/syntax.cpp ./init/lean/parser/declaration.cpp ./init/lean/parser/notation.cpp ./init/lean/parser/parsec.cpp ./init/lean/trace.cpp ./init/lean/expander.cpp ./init/lean/format.cpp ./init/lean/message.cpp ./init/lean/disjoint_set.cpp ./init/lean/config.cpp ./init/lean/declaration.cpp ./init/lean/kvmap.cpp ./init/platform.cpp ./init/default.cpp ./init/control/monad.cpp ./init/control/default.cpp ./init/control/functor.cpp ./init/control/combinators.cpp ./init/control/option.cpp ./init/control/except.cpp ./init/control/id.cpp ./init/control/state.cpp ./init/control/monad_fail.cpp ./init/control/alternative.cpp ./init/control/applicative.cpp ./init/control/coroutine.cpp ./init/control/reader.cpp ./init/control/lift.cpp ./init/core.cpp ./init/version.cpp ./init/io.cpp ./init/coe.cpp ./init/wf.cpp ./init/function.cpp ./init/env_ext.cpp)
add_library (boot OBJECT ./init/coe.cpp ./init/control/alternative.cpp ./init/control/applicative.cpp ./init/control/combinators.cpp ./init/control/coroutine.cpp ./init/control/default.cpp ./init/control/except.cpp ./init/control/functor.cpp ./init/control/id.cpp ./init/control/lift.cpp ./init/control/monad.cpp ./init/control/monad_fail.cpp ./init/control/option.cpp ./init/control/reader.cpp ./init/control/state.cpp ./init/core.cpp ./init/data/array/basic.cpp ./init/data/array/default.cpp ./init/data/basic.cpp ./init/data/char/basic.cpp ./init/data/char/default.cpp ./init/data/default.cpp ./init/data/dlist.cpp ./init/data/fin/basic.cpp ./init/data/fin/default.cpp ./init/data/hashable.cpp ./init/data/hashmap/basic.cpp ./init/data/int/basic.cpp ./init/data/int/default.cpp ./init/data/list/basic.cpp ./init/data/list/default.cpp ./init/data/list/instances.cpp ./init/data/nat/basic.cpp ./init/data/nat/default.cpp ./init/data/nat/div.cpp ./init/data/option/basic.cpp ./init/data/option/instances.cpp ./init/data/ordering/basic.cpp ./init/data/ordering/default.cpp ./init/data/rbmap/basic.cpp ./init/data/rbmap/default.cpp ./init/data/rbtree/basic.cpp ./init/data/rbtree/default.cpp ./init/data/repr.cpp ./init/data/string/basic.cpp ./init/data/string/default.cpp ./init/data/to_string.cpp ./init/data/uint.cpp ./init/data/usize.cpp ./init/default.cpp ./init/env_ext.cpp ./init/function.cpp ./init/io.cpp ./init/lean/config.cpp ./init/lean/declaration.cpp ./init/lean/disjoint_set.cpp ./init/lean/elaborator.cpp ./init/lean/expander.cpp ./init/lean/expr.cpp ./init/lean/format.cpp ./init/lean/frontend.cpp ./init/lean/ir/elim_phi.cpp ./init/lean/ir/extract_cpp.cpp ./init/lean/ir/format.cpp ./init/lean/ir/instances.cpp ./init/lean/ir/ir.cpp ./init/lean/ir/lirc.cpp ./init/lean/ir/parser.cpp ./init/lean/ir/reserved.cpp ./init/lean/ir/ssa_check.cpp ./init/lean/ir/type_check.cpp ./init/lean/kvmap.cpp ./init/lean/level.cpp ./init/lean/message.cpp ./init/lean/name.cpp ./init/lean/name_mangling.cpp ./init/lean/options.cpp ./init/lean/parser/basic.cpp ./init/lean/parser/combinators.cpp ./init/lean/parser/command.cpp ./init/lean/parser/declaration.cpp ./init/lean/parser/identifier.cpp ./init/lean/parser/level.cpp ./init/lean/parser/module.cpp ./init/lean/parser/notation.cpp ./init/lean/parser/parsec.cpp ./init/lean/parser/pratt.cpp ./init/lean/parser/rec.cpp ./init/lean/parser/string_literal.cpp ./init/lean/parser/syntax.cpp ./init/lean/parser/term.cpp ./init/lean/parser/token.cpp ./init/lean/parser/trie.cpp ./init/lean/position.cpp ./init/lean/trace.cpp ./init/platform.cpp ./init/version.cpp ./init/wf.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("f9b3244d97691ead3fbab1afe3045c0ac229ed03");
x_0 = lean::mk_string("12480e665ea203791523b37af1ce078adeb9c1a4");
return x_0;
}
}