blob: 6b110ae220b322abe571c5aa2a0e5b9b2605021e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/bin/leanc.in.orig 2025-05-07 10:26:21 UTC
+++ src/bin/leanc.in
@@ -7,7 +7,7 @@ done
[[ "$arg" = "-c" ]] && ldflags=()
[[ "$arg" = "-v" ]] && v=1
done
-cmd=(${LEAN_CC:-@CMAKE_C_COMPILER@} "-I$root/include" @LEANC_EXTRA_CC_FLAGS@ @LEANC_INTERNAL_FLAGS@ "$@" "${ldflags[@]}" -Wno-unused-command-line-argument)
+cmd=(${LEAN_CC:-@CMAKE_C_COMPILER@} "-I$root/include" @LEANC_EXTRA_CC_FLAGS@ @LEANC_INTERNAL_FLAGS@ "$@" "${ldflags[@]}" -Wno-unused-command-line-argument -fPIC)
cmd=$(printf '%q ' "${cmd[@]}" | sed "s!ROOT!$root!g")
[[ $v == 1 ]] && echo $cmd
eval $cmd
|
