Remove Hacl code, build it outside of EGK.

Assume hacl is installed in -I/usr/include/x86_64-linux-gnu/libhacl, usr/lib/x86_64-linux-gnu. Really, we arent supporting native right now.
votingworks · Jul 2, 2023 · 8b1fb97 · 8b1fb97
1 parent 4b64119
commit 8b1fb97
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hacllib/src/nativeInterop/cinterop/libhacl.def b/hacllib/src/nativeInterop/cinterop/libhacl.def
@@ -14,7 +14,7 @@ staticLibraries = libhacl.a
 libraryPaths = /home/stormy/install/libhacl
 
 compilerOpts.osx = -Ilibhacl/include
-compilerOpts.linux = -I/usr/include -I/usr/include/x86_64-linux-gnu -I/home/stormy/install/libhacl/include -O2
+compilerOpts.linux = -I/usr/include -I/usr/include/x86_64-linux-gnu -I/usr/include/x86_64-linux-gnu/libhacl -O2
 
 linkerOpts.osx = --library hacl --library-path hacllib/build
-linkerOpts.linux = --library hacl --library-path /home/stormy/install/libhacl -lhacl
+linkerOpts.linux = --library hacl --library-path /usr/lib/x86_64-linux-gnu