one of the apps doesn't build on master

msakai / toysolver

My sandbox for experimenting with solver algorithms.

Other

154 stars 11 forks source link

one of the apps doesn't build on master #26

Closed cartazio closed 3 years ago

cartazio commented 5 years ago

Build profile: -w ghc-8.6.3 -O1
In order, the following will be built (use -v for more details):
 - toysolver-0.6.0 (exe:toysmt) (first run)
Preprocessing executable 'toysmt' for toysolver-0.6.0..
cabal: can't find source for Smtlib/Parsers/CommonParsers in app/toysmt,
Smtlib,
/Users/carter/Desktop/repoScratcher/toysolver/dist-newstyle/build/x86_64-osx/ghc-8.6.3/toysolver-0.6.0/x/toysmt/build/toysmt/autogen,
/Users/carter/Desktop/repoScratcher/toysolver/dist-newstyle/build/x86_64-osx/ghc-8.6.3/toysolver-0.6.0/x/toysmt/build/global-autogen

cartazio commented 5 years ago

also the library

20:06:46 ~/D/r/toysolver (master|✔) $ cabal v2-install lib:toysolver
cabal: Error: Could not find module: Smtlib.Parsers.CommonParsers with any
suffix: ["gc","chs","hsc","x","y","ly","cpphs","hs","lhs","hsig","lhsig"]. If
the module is autogenerated it should be added to 'autogen-modules'.

cartazio commented 5 years ago

oh maybe i need to do the git submodule update ..

cartazio commented 5 years ago

nope, @msakai you need to relax the bound on your smtlib copy

cartazio commented 5 years ago

relax the bound on base

msakai commented 3 years ago

I'm sorry I haven't replied for a long time.

Currently, it builds on GitHub Actions and Travis-CI without problems. And since Smtib/SmtLib.cabal is not used (Smtlib/**/*.hs is directly listed as modules in toysolver.cabal), we don't need to relax bounds in Smtib/SmtLib.cabal.

If you still have problems, please feel free to re-open the issue.