mit-plv
Installation trouble
Hi -- I'm having trouble following the installation instructions. Even after doing
Downloading riscv-gcc...
######################################################################### 100.0%
Riscv-gcc has been installed.
~/h/riscv-semantics> . setup.sh
I get this:
/Applications/Xcode.app/Contents/Developer/usr/bin/make -C elf2hex
g++ -O --std=c++11 elf2hex.cpp ElfFile.cpp -o elf2hex
In file included from elf2hex.cpp:32:
./ElfFile.hpp:26:10: fatal error: 'elf.h' file not found
#include <elf.h>
^~~~~~~
1 error generated.
ElfFile.cpp:27:10: fatal error: 'elf.h' file not found
#include <elf.h>
^~~~~~~
1 error generated.
make[1]: *** [elf2hex] Error 1
make: *** [elf2hex] Error 2
Can someone tell me what I'm doing wrong?
Thanks!
- Benjamin
(P.S. I'm running on OSX, with Stack newly installed.)
Hi Benjamin,
I had the same problem, and found the solution here: https://gist.github.com/mlafeldt/3885346
Just placing that elf.h header file in /usr/local/include did the trick.
Yep, that seems to work. Probably worth putting this hint int he README!
On Aug 8, 2018, at 2:36 PM, Ben Selfridge <[email protected] mailto:[email protected]> wrote:
Hi Benjamin,
I had the same problem, and found the solution here: https://gist.github.com/mlafeldt/3885346 https://gist.github.com/mlafeldt/3885346 Just placing that elf.h header file in /usr/local/include did the trick.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/mit-plv/riscv-semantics/issues/23#issuecomment-411508716, or mute the thread https://github.com/notifications/unsubscribe-auth/AGsIC8B-1lndXRL2FkaodcnPZXsLqgKzks5uOy_JgaJpZM4V0W0_.
P.S. I also needed
brew install md5sha1sum
to get to the end.
On Aug 15, 2018, at 8:46 AM, Benjamin C. Pierce <[email protected] mailto:[email protected]> wrote:
Yep, that seems to work. Probably worth putting this hint int he README!
On Aug 8, 2018, at 2:36 PM, Ben Selfridge <[email protected] mailto:[email protected]> wrote:
Hi Benjamin,
I had the same problem, and found the solution here: https://gist.github.com/mlafeldt/3885346 https://gist.github.com/mlafeldt/3885346 Just placing that elf.h header file in /usr/local/include did the trick.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/mit-plv/riscv-semantics/issues/23#issuecomment-411508716, or mute the thread https://github.com/notifications/unsubscribe-auth/AGsIC8B-1lndXRL2FkaodcnPZXsLqgKzks5uOy_JgaJpZM4V0W0_.