build fail

[zxsjw]

There was a problem with the installation that I couldn't solve

ubuntu:~/sys-M/sys-master$ stack build
WARNING: Ignoring adverse's bounds on llvm-hs (>=9.0.1); using llvm-hs-9.0.0.
Reason: allow-newer enabled.
Building all executables for `adverse' once. After a successful build of all of them, only specified executables will be rebuilt.
adverse> configure (lib + exe)
Configuring adverse-0.0.0.1...
adverse> build (lib + exe)
Preprocessing library for adverse-0.0.0.1..
Building library for adverse-0.0.0.1..
[ 1 of 49] Compiling Control.Log [flags changed]
[ 2 of 49] Compiling LLVMAST.ASTInterface [flags changed]
[ 3 of 49] Compiling LLVMAST.ConstantInterface [flags changed]
[ 4 of 49] Compiling LLVMAST.OperandInterface [flags changed]
[ 5 of 49] Compiling LLVMAST.OrdInstances [flags changed]
[ 6 of 49] Compiling LLVMAST.RenameVariables [flags changed]
[ 7 of 49] Compiling InternalIR.ModuleInfo [flags changed]
[ 8 of 49] Compiling LLVMAST.TypeInterface [flags changed]
[ 9 of 49] Compiling LLVMAST.Interface [flags changed]
[10 of 49] Compiling InternalIR.SimplePath [flags changed]
[11 of 49] Compiling InternalIR.SSA [flags changed]
[12 of 49] Compiling InternalIR.PathExpand [flags changed]
[13 of 49] Compiling InternalIR.PathExpand.Refinements.EnterCall [flags changed]
[14 of 49] Compiling InternalIR.PathInfo [flags changed]
[15 of 49] Compiling Paths_adverse [flags changed]
[16 of 49] Compiling Static.CheckerState [flags changed]
[17 of 49] Compiling Static.CheckerConfigDef [flags changed]
[18 of 49] Compiling Static.Check [flags changed]
[19 of 49] Compiling Checkers.Utils.StaticUtils [flags changed]
[20 of 49] Compiling Checkers.UserInputStatic [flags changed]
[21 of 49] Compiling Checkers.UninitStatic [flags changed]
[22 of 49] Compiling Checkers.HeapOOBStatic [flags changed]
[23 of 49] Compiling Checkers.ConcreteOOBStatic [flags changed]
[24 of 49] Compiling Static.Kildall [flags changed]
[25 of 49] Compiling Symex.Symex.Boolector [flags changed]
[26 of 49] Compiling Symex.Symex.Utils [flags changed]
[27 of 49] Compiling Symex.Symex.SymexState [flags changed]
[28 of 49] Compiling Symex.Symex.Variable

/home/sys-M/sys-master/src/Symex/Symex/Variable.hs:240:44: error:
Variable not in scope:
getOffsetOfElement
:: GHC.Ptr.Ptr LLVM.Internal.FFI.DataLayout.DataLayout
-> t0 -> Integer -> IO Word64
|
240 | withFFIDataLayout dl (\layout -> getOffsetOfElement layout ety $ fromIntegral ind)
| ^^^^^^^^^^^^^^^^^^

-- While building package adverse-0.0.0.1 (scroll up to its section to see the error) using:
/home/.stack/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5 --builddir=.stack-work/dist/x86_64-linux/Cabal-2.4.0.1 build lib:adverse exe:sys --ghc-options " -fdiagnostics-color=always"
Process exited with code: ExitFailure 1
ubuntu:~/sys-M/sys-master$

[zxsjw]

"^^^^^^^^^^^^^^^^^^" pointing to the argument is "getOffsetOfElement"

getOffsetOfElement
^^^^^^^^^^^^^

[mlfbrown]

Hmmm, this looks like another LLVM Haskell binding issue. Let me see...
(Sorry to be late looking into this)

[zxsjw]

Thank you for your attention. Do you see the reason for the problem