Commit 821f73e9 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Use a simpler scheme to include package version.

parent 8956943f
version: "0.5.5-126-gb935f365-dirty"
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.7.0-rc5"
......
version: "0.5.5-126-gb935f365-dirty"
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.7.0-rc5"
......
......@@ -2,6 +2,8 @@
(name cduce)
(version 0.7.0-rc6)
(source
(uri "git+https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/"))
......@@ -16,26 +18,18 @@
(bug_reports
"https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/-/issues")
(version 0.7.0-rc5)
(generate_opam_files true)
(using menhir 2.0)
(package
(name cduce-types)
(synopsis "CDuce type library")
(description "This library implements set-theoretic types with
semantic subtyping. It is at the heart of the CDuce compiler, but
can also be reused as a stand-alone library to experiment with
semantic subtyping."))
(description
"This library implements set-theoretic types with\n semantic subtyping. It is at the heart of the CDuce compiler, but\n can also be reused as a stand-alone library to experiment with\n semantic subtyping."))
(package
(name cduce)
(synopsis "The CDuce compiler")
(description "CDuce is a functional, impure, staticaly typed
programming language. It features a OCaml-like syntax with built-in constructs for
extensible records, overloaded functions and XML document and document types.
Its type system is based on semantic subtyping and features regular expresison
types.")
(description
"CDuce is a functional, impure, staticaly typed\n programming language. It features a OCaml-like syntax with built-in constructs for\n extensible records, overloaded functions and XML document and document types.\n Its type system is based on semantic subtyping and features regular expresison\n types.")
(depends cduce-types))
......@@ -7,7 +7,10 @@
(flags
(-open Cduce_types))
(modules
((:standard version) \ ocaml_obj_compat_407 ocaml_obj_compat_410))
((:standard version)
\
ocaml_obj_compat_407
ocaml_obj_compat_410))
(preprocess
(pps sedlex.ppx)))
......@@ -28,7 +31,9 @@
(>= %{ocaml_version} 4.10)))
(rule
(deps ../tools/print_version.exe)
(deps)
(target version.ml)
(action (with-stdout-to %{target} (run ../tools/print_version.exe)))
)
\ No newline at end of file
(action
(write-file
%{target}
"let cduce_version = \"%{version:cduce}\"\nlet ocaml_compiler = \"%{ocaml_version}\"\n")))
......@@ -6,23 +6,3 @@
(modules dtd2cduce)
(libraries threads netcgi2 pxp)
)
(executable
(name print_version)
(modules print_version)
(libraries dune-build-info)
)
(rule
(deps )
(target print_version.ml)
(action (write-file %{target} "
let () = \n
let open Build_info.V1 in
let v = match version () with
Some s -> Version.to_string s
| None -> \"n/a\" in
Printf.printf {|\n
let cduce_version = \"%s\"\n
let ocaml_compiler = \"%{ocaml_version}\" \n
|} v")))
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment