catala/ninja_utils.opam

opam-version: "2.0"
version: "0.6.0"
synopsis:
  "A collection of utility functions used to generate Ninja build files"
description:
  "This library contains the implementations of utility functions used to generate Ninja build files -- see https://ninja-build.org. It's currently used by the Catala build system (see https://github.com/CatalaLang/catala/tree/master/build_system)"
maintainer: ["contact@catala-lang.org"]
authors: ["Emile Rolley"]
license: "Apache-2.0"
homepage: "https://github.com/CatalaLang/catala"
bug-reports: "https://github.com/CatalaLang/catala/issues"
depends: [
  "dune" {>= "2.8"}
  "ocaml" {>= "4.11.0"}
  "re" {>= "1.10.3"}
  "odoc" {with-doc}
]
build: [
  ["dune" "subst"] {dev}
  [
    "dune"
    "build"
    "-p"
    name
    "-j"
    jobs
    "@install"
    "@runtest" {with-test}
    "@doc" {with-doc}
  ]
]
dev-repo: "git+https://github.com/CatalaLang/catala.git"
fix(opam): try to add ninja_utils as a standalone package 2022-02-24 16:05:37 +03:00			`opam-version: "2.0"`
Bump version to 0.6.0 Changelog: * Catala as a proof platform (Z3 backend, safety checks) * More expressivity for exceptions * Multiple states for one variable * Build system relying on ninja-build * Better debug printers * Alternative compilation mode without try ... with exceptions 2022-03-07 21:35:56 +03:00			`version: "0.6.0"`
fix(opam): try to add ninja_utils as a standalone package 2022-02-24 16:05:37 +03:00			`synopsis:`
			`"A collection of utility functions used to generate Ninja build files"`
Fix dune build -p catala @runtest 2022-03-08 13:28:42 +03:00			`description:`
			`"This library contains the implementations of utility functions used to generate Ninja build files -- see https://ninja-build.org. It's currently used by the Catala build system (see https://github.com/CatalaLang/catala/tree/master/build_system)"`
fix(opam): try to add ninja_utils as a standalone package 2022-02-24 16:05:37 +03:00			`maintainer: ["contact@catala-lang.org"]`
docs: update authors fields 2022-02-25 16:59:56 +03:00			`authors: ["Emile Rolley"]`
fix(opam): try to add ninja_utils as a standalone package 2022-02-24 16:05:37 +03:00			`license: "Apache-2.0"`
			`homepage: "https://github.com/CatalaLang/catala"`
			`bug-reports: "https://github.com/CatalaLang/catala/issues"`
			`depends: [`
			`"dune" {>= "2.8"}`
			`"ocaml" {>= "4.11.0"}`
			`"re" {>= "1.10.3"}`
			`"odoc" {with-doc}`
			`]`
			`build: [`
			`["dune" "subst"] {dev}`
			`[`
			`"dune"`
			`"build"`
			`"-p"`
			`name`
			`"-j"`
			`jobs`
			`"@install"`
			`"@runtest" {with-test}`
			`"@doc" {with-doc}`
			`]`
			`]`
			`dev-repo: "git+https://github.com/CatalaLang/catala.git"`