From 18f5724f37eb415a34847f14879fc15416aa05ea Mon Sep 17 00:00:00 2001 From: Alasdair Date: Thu, 6 Mar 2025 20:10:37 +0000 Subject: [PATCH] Increment version number --- dune-project | 2 +- libsail.opam | 2 +- sail.opam | 2 +- sail_c_backend.opam | 2 +- sail_coq_backend.opam | 2 +- sail_doc_backend.opam | 2 +- sail_latex_backend.opam | 2 +- sail_lean_backend.opam | 2 +- sail_lem_backend.opam | 2 +- sail_manifest.opam | 2 +- sail_ocaml_backend.opam | 2 +- sail_output.opam | 2 +- sail_smt_backend.opam | 2 +- sail_sv_backend.opam | 2 +- src/bin/sail.ml | 2 +- test/oneoff/current_version/test.sh | 5 +++++ test/oneoff/next_version/test.sh | 9 +++++++++ 17 files changed, 29 insertions(+), 15 deletions(-) create mode 100755 test/oneoff/current_version/test.sh create mode 100755 test/oneoff/next_version/test.sh diff --git a/dune-project b/dune-project index f6044bcb9..2e7831899 100644 --- a/dune-project +++ b/dune-project @@ -4,7 +4,7 @@ (using dune_site 0.1) (name sail) -(version 0.18) +(version 0.19) (generate_opam_files true) diff --git a/libsail.opam b/libsail.opam index b4c607513..a2f841c27 100644 --- a/libsail.opam +++ b/libsail.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail is a language for describing the instruction semantics of processors" description: """ diff --git a/sail.opam b/sail.opam index ca57626a1..b7c76a1d7 100644 --- a/sail.opam +++ b/sail.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail is a language for describing the instruction semantics of processors" description: """ diff --git a/sail_c_backend.opam b/sail_c_backend.opam index 6ae4f77e4..8515ae74a 100644 --- a/sail_c_backend.opam +++ b/sail_c_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to C translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_coq_backend.opam b/sail_coq_backend.opam index 1c8ae11c8..dcfa3b28c 100644 --- a/sail_coq_backend.opam +++ b/sail_coq_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to Coq translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_doc_backend.opam b/sail_doc_backend.opam index aaaa4c86a..d788fe800 100644 --- a/sail_doc_backend.opam +++ b/sail_doc_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail documentation generator" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_latex_backend.opam b/sail_latex_backend.opam index 235d6a10c..aaa4019d1 100644 --- a/sail_latex_backend.opam +++ b/sail_latex_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to LaTeX formatting" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_lean_backend.opam b/sail_lean_backend.opam index 6507ee4d9..9910848d7 100644 --- a/sail_lean_backend.opam +++ b/sail_lean_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to Lean translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_lem_backend.opam b/sail_lem_backend.opam index 710e82567..f775f7927 100644 --- a/sail_lem_backend.opam +++ b/sail_lem_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to Lem translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_manifest.opam b/sail_manifest.opam index 82f26654c..fce177d82 100644 --- a/sail_manifest.opam +++ b/sail_manifest.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Helper tool for compiling Sail" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_ocaml_backend.opam b/sail_ocaml_backend.opam index 3cfe4907f..20a974d2e 100644 --- a/sail_ocaml_backend.opam +++ b/sail_ocaml_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to OCaml translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_output.opam b/sail_output.opam index 0eb40c6db..5cce91048 100644 --- a/sail_output.opam +++ b/sail_output.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Example Sail output plugin" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_smt_backend.opam b/sail_smt_backend.opam index 89689e6a9..d471db61c 100644 --- a/sail_smt_backend.opam +++ b/sail_smt_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to SMT translation" maintainer: ["Sail Devs "] authors: [ diff --git a/sail_sv_backend.opam b/sail_sv_backend.opam index 44d6f4fe5..0ea05730e 100644 --- a/sail_sv_backend.opam +++ b/sail_sv_backend.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.18" +version: "0.19" synopsis: "Sail to Systemverilog translation" maintainer: ["Sail Devs "] authors: [ diff --git a/src/bin/sail.ml b/src/bin/sail.ml index b96775826..89bcd6e32 100644 --- a/src/bin/sail.ml +++ b/src/bin/sail.ml @@ -52,7 +52,7 @@ open Sail_options type version = { major : int; minor : int; patch : int } (* Current version of Sail. Must be updated manually. *) -let version = { major = 0; minor = 18; patch = 0 } +let version = { major = 0; minor = 19; patch = 0 } let opt_new_cli = ref false let opt_free_arguments : string list ref = ref [] diff --git a/test/oneoff/current_version/test.sh b/test/oneoff/current_version/test.sh new file mode 100755 index 000000000..dfe761781 --- /dev/null +++ b/test/oneoff/current_version/test.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +set -e + +sail --require-version 0.19 diff --git a/test/oneoff/next_version/test.sh b/test/oneoff/next_version/test.sh new file mode 100755 index 000000000..6db9bcf8d --- /dev/null +++ b/test/oneoff/next_version/test.sh @@ -0,0 +1,9 @@ +#!/bin/sh + +set -e + +if sail --require-version 0.20; then + exit 1; +else + exit 0; +fi