Updates to build system - Githubissues

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

Other

131 stars 33 forks source link

Updates to build system #219

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Fixes: runtimeverification/iog-pm#29

I pulled these out of #216 .

Variables for each binary that is produced.
Updated install target, and corresponding uninstall target.
Remove large outdated chunks of README.
Remove pandoc-tangle submodule.
Format dockerfile a bit better.
Remove order-only dependencies on build step for test step in Makefile (so that you can run the makefile using a globally installed KIELE, for example).