4 Commits

Author SHA1 Message Date
fa1e4ffa7d run kind of runs 2018-12-09 00:00:01 +00:00
5e20ba833b build-linux and build-gem5 seem to work 2018-12-09 00:00:00 +00:00
04812521b2 getting started: hide the initial build under ./build
make build awesomer and more generic, convert to python

rename ./configure to ./download-dependencies, since it wasn't configuring
anything
2018-10-14 00:00:00 +00:00
60f0e98644 relase: make github operations perfect 2018-09-17 12:38:26 +01:00