makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

Setup the build system to be modular in the source code used #212

Open ehildenb opened 3 years ago

ehildenb commented 3 years ago

Currently, the build system hardcodes the sources used directly in the KEVM repository. This is OK for the regression test-suite, but we need to make the K-DSS repository able to generate the bin_runtime.k and storage.k files automatically so that we can update the dss sources without having to manually update these files every time.