From 43cbd1e2a330ebdece73a5fc257f2f4cd3aba02f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 18 Mar 2019 08:38:50 -0700 Subject: [PATCH] chore(bin/leanc.in): remove flags that do not exist on clang++ for OSX @kha If we need these flags on Linux, we need to test which platform is being used. --- bin/leanc.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/leanc.in b/bin/leanc.in index 0f77ca10f4..c5901434c2 100644 --- a/bin/leanc.in +++ b/bin/leanc.in @@ -16,4 +16,4 @@ for cxx in $LEAN_CXX @CMAKE_CXX_COMPILER@ /usr/bin/g++; do fi done [ -f $LEAN_CXX ] || command -v $LEAN_CXX || error "no suitable C++ compiler found!" -$LEAN_CXX -std=c++14 -D LEAN_MULTI_THREAD -pthread -fPIC "-I$bindir/../src" "$@" "-L$bindir" -ldl -Wl,-Bstatic -lleanstatic -lleanstdlib -lgmp @LEANC_EXTRA_LIBS@ -static-libgcc -static-libstdc++ -Wl,-Bdynamic -Wno-unused-command-line-argument +$LEAN_CXX -std=c++14 -D LEAN_MULTI_THREAD -pthread -fPIC "-I$bindir/../src" "$@" "-L$bindir" -ldl -lleanstatic -lleanstdlib -lgmp @LEANC_EXTRA_LIBS@ -Wno-unused-command-line-argument