diff options
| author | Robert Norton | 2019-02-13 16:57:00 +0000 |
|---|---|---|
| committer | Robert Norton | 2019-02-13 16:57:00 +0000 |
| commit | 33c27c9a4e30f6b3532aeeed0d72b0331c943d8b (patch) | |
| tree | 1d36ad9d08a120b6e150d2d8ec9cf6d0464dbdf6 /src | |
| parent | 28f74aad96455c6e8f14f5a84d10b37c38abf7a4 (diff) | |
Attempt to parse sail version from opam file for manifest.ml. Update version in opam file in anticipation of release and add yojson dependency.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index b0b22f77..beba66df 100644 --- a/src/Makefile +++ b/src/Makefile @@ -96,7 +96,7 @@ else echo let dir=\"$(SHARE_DIR)\" >> manifest.ml echo let commit=\"opam\" >> manifest.ml echo let branch=\"sail2\" >> manifest.ml - echo let version=\"0.8\" >> manifest.ml + echo let version=\"$(shell grep '^version:' ../opam | grep -o -E '"[^"]+"')\" >> manifest.ml endif sail: ast.ml bytecode.ml manifest.ml |