Closed gracjan closed 9 years ago
halvm-ghc is a shell script, and it's copied into place by make install
.
https://github.com/GaloisInc/HaLVM/blob/master/Makefile#L437
That was surprising :)
There is probably a better way to do it!
It mostly has to do with the HaLVM needing a custom linker script for final-stage linking. Maybe someday GHC will have a way to build information like this in on a target-specific basis, but for now a wrapper script was easier. See also halvm-ghc.in.
Running
make
stops at:Expected
halvm-ghc
is nowhere to be found...