search

PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf
GNU General Public License v2.0
215 stars 41 forks source link

Failure to build #30

Open khanhckn opened 1 year ago

khanhckn commented 1 year ago

boolector> configure boolector> Configuring boolector-0.0.0.11... boolector> Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5: Missing dependency on a foreign boolector> library: boolector> Missing (or bad) header file: boolector.h boolector> Missing (or bad) C library: boolector boolector> This problem can usually be solved by installing the system package that boolector> provides this library (you may need the "-dev" version). If the library is boolector> already installed but in a non-standard location then you can use the flags boolector> --extra-include-dirs= and --extra-lib-dirs= to specify where it is.If the boolector> library file does exist, it may contain errors that are caught by the C boolector> compiler at the preprocessing stage. In this case you can re-run configure boolector> with the verbosity flag -v3 to see the error messages. boolector> If the header file does exist, it may contain errors that are caught by the C boolector> compiler at the preprocessing stage. In this case you can re-run configure boolector> with the verbosity flag -v3 to see the error messages. boolector>
Progress 1/2

-- While building package boolector-0.0.0.11 (scroll up to its section to see the error) using: /root/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-2.4.0.1 configure --with-ghc=/root/.stack/programs/x86_64-linux/ghc-tinfo6-8.6.5/bin/ghc-8.6.5 --with-ghc-pkg=/root/.stack/programs/x86_64-linux/ghc-tinfo6-8.6.5/bin/ghc-pkg-8.6.5 --user --package-db=clear --package-db=global --package-db=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/pkgdb --libdir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/lib --bindir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/bin --datadir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/share --libexecdir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/libexec --sysconfdir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/etc --docdir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/doc/boolector-0.0.0.11 --htmldir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/doc/boolector-0.0.0.11 --haddockdir=/root/.stack/snapshots/x86_64-linux-tinfo6/0b693a77e93e365d112c81e2d9b2336adf17b99088fe2e0015d8b8497be8fd28/8.6.5/doc/boolector-0.0.0.11 --dependency=base=base-4.12.0.0 --dependency=containers=containers-0.6.0.1 --dependency=directory=directory-1.3.3.0 --dependency=mtl=mtl-2.2.2 --dependency=temporary=temporary-1.3-D5m7D56K5ufHMiVDJGp2II --dependency=time=time-1.8.0.2 --extra-include-dirs=/usr/include/boolector --exact-configuration --ghc-option=-fhide-source-paths Process exited with code: ExitFailure 1

deian commented 1 year ago

Thanks, we'll look into it! If you have a PR for this we'd be delighted to review it.