mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
FFI: Fix linker flags
This commit is contained in:
parent
8d28f59f26
commit
1b36a13a59
@ -264,8 +264,8 @@ executable cryptol
|
||||
ld-options: -static -pthread
|
||||
ghc-options: -optl-fuse-ld=bfd
|
||||
|
||||
if flag(ffi)
|
||||
ld-options: -Wl,rpath,$ORIGIN
|
||||
if os(linux) && flag(ffi)
|
||||
ld-options: -Wl,-rpath,$ORIGIN
|
||||
|
||||
executable cryptol-html
|
||||
Default-language:
|
||||
|
Loading…
Reference in New Issue
Block a user