From 49fc82c604f9b515a67f7886cc93f64fe4c90941 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 26 May 2020 13:51:06 -0700 Subject: [PATCH] chore: add `Lean` package to `leanc.in` --- src/bin/leanc.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/leanc.in b/src/bin/leanc.in index bfd7cd81aa..10d9c19f65 100755 --- a/src/bin/leanc.in +++ b/src/bin/leanc.in @@ -18,7 +18,7 @@ cflags=("-I$bindir/../include") ldflags=("-L$bindir/../lib/lean" "-lgmp" @LEANC_EXTRA_FLAGS@) # static linker flags # NOTE: libleancpp and libInit are cyclically dependent -ldflags_ext=("-lleancpp" "-lInit" "-lStd" "-lleancpp" "-lInit" "-lStd") +ldflags_ext=("-lleancpp" "-lInit" "-lStd" "-lLean" "-lleancpp" "-lInit" "-lStd" "-lLean") for arg in "$@"; do # passed -shared ~> switch to shared linker flags [[ $arg == "-shared" ]] && ldflags_ext=(@LEANC_SHARED_LINKER_FLAGS@)