this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "SyGuS Lib parser and utils"
4description:
5 "SyGuS Language Standard v2.1 parser with utils for using SyGuS solvers."
6maintainer: ["victor.nicolet@pm.me"]
7authors: ["Victor Nicolet"]
8license: "MIT"
9homepage: "https://github.com/victornicolet/syguslib-utils"
10bug-reports: "https://github.com/victornicolet/sygusllib-utils/issues"
11depends: [
12 "dune" {>= "2.9"}
13 "base" {>= "v0.14.0" & < "v0.15"}
14 "fileutils" {>= "0.6"}
15 "fmt" {>= "0.8.8"}
16 "getopt" {>= "20120615"}
17 "lwt" {>= "5.4.0"}
18 "lwt_ppx" {>= "2.0"}
19 "odoc" {>= "1.5"}
20 "parsexp" {>= "v0.14.0" & < "v0.15"}
21 "stdio" {>= "v0.14.0" & < "v0.15"}
22 "sexplib" {>= "v0.14.0" & < "v0.15"}
23 "core" {>= "v0.14.0" & < "v0.15"}
24]
25build: [
26 ["dune" "subst"] {dev}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "--promote-install-files=false"
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39 ["dune" "install" "-p" name "--create-install-files" name]
40]
41dev-repo: "git+https://github.com/victornicolet/syguslib-utils.git"
42url {
43 src: "https://github.com/victornicolet/syguslib-utils/archive/0.1.tar.gz"
44 checksum: [
45 "md5=de39b5e5e17f117298b0a05742a02049"
46 "sha512=d3fe43d1c76223c41f5894544c1f564ba1082aae72dd58085b60b1562048399e3971d0cbaad56f8d61bcfb35aaaca7b3eda8ace5111b233eaca4e46f004b825a"
47 ]
48}