aboutsummaryrefslogtreecommitdiff
path: root/opam
AgeCommit message (Collapse)AuthorFilesLines
2020-06-15Release version 0.50.5Thibaut Pérami1-1/+1
2020-06-04- upgrade to opam 2 packageChristopher Pulte1-3/+5
- make opam package include files required for building rmem
2019-11-21Bump opam version.0.4Robert Norton1-1/+1
2019-06-03Bump opam version for release with installed model code.0.3Robert Norton1-1/+1
2019-05-24Update opam version for release.0.2Robert Norton1-1/+1
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on ↵Robert Norton1-5/+2
opam being in path to get SAIL_DIR (which seems to be unreliable).
2019-05-20Add opam file and make targets to build and install C emulator (32 and 64 bit).Robert Norton1-0/+33