Add missing paths to native lib

.github/workflows/haskell.yml

@@ -44,13 +44,13 @@ jobs:
          sudo make install
 
     - name: Install dependencies
-      env:
-        LD_LIBRARY_PATH: "/usr/local/lib:$LD_LIBRARY_PATH"
-        PKG_CONFIG_PATH: "/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH"
       run: |
         cabal update
         cabal build --only-dependencies --enable-tests --enable-benchmarks
     - name: Build
-      run: cabal build --enable-tests --enable-benchmarks all
+      env:
+        LD_LIBRARY_PATH: "/usr/local/lib:$LD_LIBRARY_PATH"
+        PKG_CONFIG_PATH: "/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH"
+      run: cabal build --enable-tests --enable-benchmarks  --extra-include-dirs=/usr/local/include  --extra-lib-dirs=/usr/local/lib all
     - name: Run tests
       run: cabal test all

README.md

@@ -7,3 +7,27 @@ Prototype implementation of _Approximate Lower Bound Arguments_ from the [paper]
 > _Pyrros Chaidos, Prof Aggelos Kiayias, Leonid Reyzin, Anatoliy Zinovyev_
 >
 > May 2024, Eurocrypt'24
+
+## Build
+
+This code is written in Haskell with some native libraries dependencies for faster hashing. It requires the following software to be built:
+
+* GHC
+* Cabal
+* [libsodium](https://doc.libsodium.org/)
+
+To install sodium, you can follow instructions for [cardano-node](https://developers.cardano.org/docs/get-started/installing-cardano-node/#downloading--compiling) but please not ALBA does not depend (yet) on Cardano-specific sodium extensions.
+
+GHC and Cabal can be installed through [GHCUp](https://www.haskell.org/ghcup/).
+
+To build all components:
+
+```
+cabal build all
+```
+
+To run tests:
+
+```
+cabal test
+```