project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.
Apache License 2.0
124 stars 20 forks source link

Cava2HDL does not appear to be installed anymore #784

Open satnam6502 opened 3 years ago

satnam6502 commented 3 years ago

I can't load up generated Haskell files or compile them with ghc --make.

~/silveroak/examples$ ghci AdderTree.hs
GHCi, version 8.10.3: https://www.haskell.org/ghc/  :? for help
Loaded GHCi configuration from /usr/local/google/home/satnam/.ghci
[1 of 1] Compiling AdderTree        ( AdderTree.hs, interpreted )

AdderTree.hs:7:1: error:
    Could not find module ‘Adders’
    Use -v (or `:set -v` in ghci) to see a list of the files searched for.
  |
7 | import qualified Adders
  | ^^^^^^^^^^^^^^^^^^^^^^^

AdderTree.hs:8:1: error:
    Could not find module ‘BinNat’
    Use -v (or `:set -v` in ghci) to see a list of the files searched for.
  |
8 | import qualified BinNat
  | ^^^^^^^^^^^^^^^^^^^^^^^
satnam6502 commented 3 years ago

And attempting to install it does not seem to work.

$ cabal install Cava2HDL
Warning: The package list for 'hackage.haskell.org' is 483 days old.
Run 'cabal update' to get the latest list of available packages.
Wrote tarball sdist to
/usr/local/google/home/satnam/silveroak/dist-newstyle/sdist/Cava2HDL-0.1.0.0.tar.gz
Wrote tarball sdist to
/usr/local/google/home/satnam/silveroak/dist-newstyle/sdist/cava-examples-0.1.0.0.tar.gz
cabal: Error: Could not find module: NandLUT 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'.
blaxill commented 3 years ago

cabal repl is the cabal equivalent for getting ghci up, that is working for me.

blaxill commented 3 years ago

You should never need to install any haskell packages with the cabal setup, its automatic