Skip to content

fix(shell/CMakeLists): mark libleanstatic.a and libleanstdlib.a as cyclically dependent - #22

Merged
leodemoura merged 1 commit into
leanprover:masterfrom
Kha:cyclical
Jul 26, 2019
Merged

fix(shell/CMakeLists): mark libleanstatic.a and libleanstdlib.a as cyclically dependent#22
leodemoura merged 1 commit into
leanprover:masterfrom
Kha:cyclical

Commits

Commits on Jul 26, 2019