this repo has no description
at main 1.9 kB view raw
1opam-version: "2.0" 2 3synopsis: "Generic programming with extensible transformations" 4description: """ 5Yet another library for generic programming. Provides syntax extensions 6both for camlp5 and PPX which allow decoration of type declarations with 7following compile-time code generation. Provides the way for creating 8plugins (compiled separately from the library) for enchancing supported 9type transformations. 10 11Strongly remids the `visitors` library from François Pottier. 12During desing of a library of these kind there many possible 13design decision and in many cases we decided to implement 14the decision opposite to the one used in `visitors`. 15""" 16 17license: "LGPL-2.1-or-later" 18maintainer: "kakadu@pm.me" 19authors: ["https://github.com/dboulytchev" "https://github.com/Kakadu"] 20homepage: "https://github.com/JetBrains-Research/GT" 21bug-reports: "https://github.com/JetBrains-Research/GT/issues" 22 23depends: [ 24 "ocaml" { >= "4.10.0" } 25 # 4.10 is required only because camlp5 has a few glitches in old compilers 26 # because a few features are not properly backported (and probably will never be) 27 "camlp5" { >= "8.00.02" } # 8.00 is buggy 28 "ocamlfind" 29 "conf-m4" { build } 30 "dune" { >= "2.7.1" } 31 "ocamlgraph" 32 "ppxlib" {>= "0.22.0" & < "0.23.0"} 33 "logger-p5" 34 "ocaml-migrate-parsetree" { >= "2.1.0" } 35 "base" 36 "ppx_expect" {with-test} 37] 38 39build: [ 40 ["dune" "subst"] {dev} 41 ["dune" "build" "-p" "GT,GT-p5" "-j" jobs] 42] 43install: [ 44 [ "dune" "install" "-p" "GT,GT-p5"] 45] 46 47dev-repo: "git+https://github.com/JetBrains-Research/GT.git" 48url { 49 src: "https://github.com/JetBrains-Research/GT/archive/refs/tags/v0.4.2.tar.gz" 50 checksum: [ 51 "sha256=d23fb8e20ca28ec9ae07feee45b39aee8fb87ab11ec55211e2365f2c5a1c4ccf" 52 "sha512=0ade04e78a4d8e24acf24d3e4cdf358532d68284fa8e801b25bdf21c3c0483bb97d1350e86abcf9f93efec870b07f0f067a5dccae81686b14265baab3a4e7c13" 53 ] 54} 55