Fix haskell backend install

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

Other

131 stars 33 forks source link

Fix haskell backend install #252

Closed gtrepta closed 3 years ago

gtrepta commented 3 years ago

fixes: https://github.com/runtimeverification/iog-pm/issues/62

gtrepta commented 3 years ago

@ttuegel Some changes to the build/install rules in the Makefile seems to have broken the nix build here. Any insight?

ttuegel commented 3 years ago

@gtrepta Yes. The insight is: I need those Makefile targets you removed.

gtrepta commented 3 years ago

Are those just the $(INSTALL_BIN)/... targets, or also that one $(IELE_LIB)/check/well-formedness-kompiled/% target? Will the modified rules be ok?