@@ -7,20 +7,12 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
77PROJECT_ROOT=" $( cd " $SCRIPT_DIR /../.." && pwd) "
88
99echo " # "
10- echo " # Building minisat C bindings"
10+ echo " # Building rogueutil C bindings"
1111echo " # "
1212
13- cd " $SCRIPT_DIR /minisat-c-bindings "
13+ cd " $SCRIPT_DIR /rogueutil "
1414make
1515
16- echo " # "
17- echo " # Creating symlinks for shared library"
18- echo " # "
19-
20- cd " $SCRIPT_DIR /minisat-c-bindings/build/dynamic/lib"
21- ln -sf libminisat-c.so.1.0.0 libminisat-c.so
22- ln -sf libminisat-c.so.1.0.0 libminisat-c.so.1
23-
2416echo " # "
2517echo " # Generating Haskell bindings"
2618echo " # "
@@ -29,30 +21,33 @@ cd "$PROJECT_ROOT"
2921
3022cabal run hs-bindgen-cli -- \
3123 preprocess \
32- -I " $SCRIPT_DIR /minisat-c-bindings " \
24+ -I " $SCRIPT_DIR /rogueutil " \
3325 --hs-output-dir " $SCRIPT_DIR /hs-project/src" \
34- --module Minisat.Generated \
35- " $SCRIPT_DIR /minisat-c-bindings/minisat.h"
26+ --module RogueUtil.Generated \
27+ --clang-option=-D_POSIX_C_SOURCE=200809L \
28+ " $SCRIPT_DIR /rogueutil/rogueutil.h"
3629
3730echo " # "
3831echo " # Creating cabal.project.local"
3932echo " # "
4033
4134cat > " $SCRIPT_DIR /hs-project/cabal.project.local" << EOF
42- package c-minisat
35+ package c-rogueutil
4336 extra-include-dirs:
44- $SCRIPT_DIR /minisat-c-bindings
45- , $SCRIPT_DIR /minisat-c-bindings/build/dynamic/lib
37+ $SCRIPT_DIR /rogueutil
4638 extra-lib-dirs:
47- $SCRIPT_DIR /minisat-c-bindings
48- , $SCRIPT_DIR /minisat-c-bindings/build/dynamic/lib
39+ $SCRIPT_DIR /rogueutil
40+
41+ shared: False
4942EOF
5043
5144echo " # "
5245echo " # Done!"
5346echo " # "
5447echo " Running the project"
48+
5549cd $SCRIPT_DIR /hs-project
56- export LD_LIBRARY_PATH=$SCRIPT_DIR /minisat-c-bindings/build/dynamic/lib:\$ LD_LIBRARY_PATH
50+ export LD_LIBRARY_PATH=$SCRIPT_DIR /rogueutil/:\$ LD_LIBRARY_PATH
51+
5752cabal build
58- cabal run c-minisat
53+ cabal run c-rogueutil
0 commit comments