search

ysharoda / Deriving-Definitions

Generating Library definitions from Theory Expressions
5 stars 0 forks source link

Build errors #6

Open JasonGross opened 3 years ago

JasonGross commented 3 years ago

When I run make, I get

stack update
Updating package index Hackage (mirrored at https://s3.amazonaws.com/hackage.fpcomplete.com/) ...
Selected mirror https://s3.amazonaws.com/hackage.fpcomplete.com/
Downloading timestamp
No updates to your package index were found
Update complete
stack install --dependencies-only
WARNING: Ignoring out of range dependency (allow-newer enabled): transformers-0.5.6.2. transformers-compat requires: >=0.3 && ==0.2.*
rm: cannot remove 'bnfc/Tog/Raw/Abs.hs': No such file or directory
rm: cannot remove 'bnfc/Tog/Raw/ErrM.hs': No such file or directory
rm: cannot remove 'bnfc/Tog/Raw/Layout.hs': No such file or directory
rm: cannot remove 'bnfc/Tog/Raw/Print.hs': No such file or directory
rm: cannot remove 'bnfc/Tog/Raw/Lex.x': No such file or directory
rm: cannot remove 'bnfc/Tog/Raw/Par.y': No such file or directory
make: [Makefile:22: bnfc/Tog/Raw/Abs.hs] Error 1 (ignored)
/bin/sh: 1: bnfc: not found
make: *** [Makefile:23: bnfc/Tog/Raw/Abs.hs] Error 127

How should I fix this?

ysharoda commented 3 years ago

Can you please try to run 

stack install BNFC

before make? The BNFC package is listed in the dependencies, and so installing it should be part of the make. I am not sure why this is not happening.