mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
FFI: Use upstream libffi
This commit is contained in:
parent
0bc3bb74c5
commit
36fcdb3a93
4
.gitmodules
vendored
4
.gitmodules
vendored
@ -4,7 +4,3 @@
|
|||||||
[submodule "deps/argo"]
|
[submodule "deps/argo"]
|
||||||
path = deps/argo
|
path = deps/argo
|
||||||
url = https://github.com/galoisinc/argo
|
url = https://github.com/galoisinc/argo
|
||||||
[submodule "deps/libffi"]
|
|
||||||
path = deps/libffi
|
|
||||||
url = https://github.com/RyanGlScott/libffi
|
|
||||||
branch = static-linking-alt
|
|
||||||
|
@ -3,4 +3,3 @@ packages:
|
|||||||
cryptol-remote-api
|
cryptol-remote-api
|
||||||
tests
|
tests
|
||||||
deps/argo/argo
|
deps/argo/argo
|
||||||
deps/libffi
|
|
||||||
|
@ -86,7 +86,7 @@ library
|
|||||||
build-depends: integer-gmp >= 1.0 && < 1.1
|
build-depends: integer-gmp >= 1.0 && < 1.1
|
||||||
|
|
||||||
if flag(ffi)
|
if flag(ffi)
|
||||||
build-depends: libffi,
|
build-depends: libffi >= 0.2,
|
||||||
unix
|
unix
|
||||||
cpp-options: -DFFI_ENABLED
|
cpp-options: -DFFI_ENABLED
|
||||||
|
|
||||||
|
1
deps/libffi
vendored
1
deps/libffi
vendored
@ -1 +0,0 @@
|
|||||||
Subproject commit 3969b8e781f3d02289be89488b908815e99bf5aa
|
|
Loading…
Reference in New Issue
Block a user