Makefile: Allow setting the repo root

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 6 forks source link

Closed nishantjr closed 3 years ago

nishantjr commented 3 years ago

This is so that we can include the makefile in firefly-michelson.

nishantjr commented 3 years ago

@ehildenb This is ready for review.