Skip to content

Commit

Permalink
Update opam file. Now we need ppxlib <= 0.32
Browse files Browse the repository at this point in the history
Signed-off-by: Kakadu <[email protected]>
  • Loading branch information
Kakadu committed Jul 30, 2024
1 parent 55fbe47 commit 41ad4d4
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 6 deletions.
2 changes: 2 additions & 0 deletions GT-bench.opam
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@ opam-version: "2.0"
version: "0.1"
synopsis: "Some benchmarks. Should not be installed"
maintainer: ["[email protected]"]
authors: ["Dmitrii Kosarev a.k.a. Kakadu"]
license: "LGPL-2.1-or-later"
homepage: "https://github.com/PLTools/GT"
bug-reports: "https://github.com/PLTools/GT/issues"
depends: [
Expand Down
2 changes: 1 addition & 1 deletion GT.opam
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ license: "LGPL-2.1-or-later"
homepage: "https://github.com/PLTools/GT"
bug-reports: "https://github.com/PLTools/GT/issues"
depends: [
"ppxlib" {<= "0.28.0"}
"ppxlib" {<= "0.32.1"}
"ocaml" {>= "4.13"}
"camlp5" {>= "8.00.05"}
"dune" {>= "2.8"}
Expand Down
14 changes: 9 additions & 5 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -6,23 +6,26 @@

(name GT)

(license LGPL-2.1-or-later)

(bug_reports "https://github.com/PLTools/GT/issues")

(homepage "https://github.com/PLTools/GT")

(source
(github PLTools/GT))

(package
(name GT)
(synopsis "Generic programming with extensible transformations")
(license LGPL-2.1-or-later)
(description
"Yet another library for generic programming. Provides syntax extensions\nboth for camlp5 and PPX which allow decoration of type declarations with\nfollowing compile-time code generation. Provides the way for creating\nplugins (compiled separately from the library) for enchancing supported\ntype transformations.\n\nStrongly reminds the `visitors` library from Fran\195\167ois Pottier.\nDuring desing of a library of these kind there many possible\ndesign decision and in many cases we decided to implement\nthe decision opposite to the one used in `visitors`.\n\n\nP.S. Since 2023 development team is no longer associated with JetBrains Research")
"Yet another library for generic programming. Provides syntax extensions\nboth for camlp5 and PPX which allow decoration of type declarations with\nfollowing compile-time code generation. Provides the way for creating\nplugins (compiled separately from the library) for enchancing supported\ntype transformations.\n\nStrongly reminds the `visitors` library from François Pottier.\nDuring desing of a library of these kind there many possible\ndesign decision and in many cases we decided to implement\nthe decision opposite to the one used in `visitors`.\n\n\nP.S. Since 2023 development team is no longer associated with JetBrains Research")
(authors "https://github.com/dboulytchev" "https://github.com/Kakadu")
(maintainers "[email protected]")
(homepage "https://github.com/PLTools/GT")
(bug_reports "https://github.com/PLTools/GT/issues")
(version 0.5.2)
(depends
(ppxlib
(<= "0.28.0"))
(<= "0.32.1"))
(ocaml
(>= "4.13"))
(camlp5
Expand All @@ -41,5 +44,6 @@
(name GT-bench)
(synopsis "Some benchmarks. Should not be installed")
(version 0.1)
(authors "Dmitrii Kosarev a.k.a. Kakadu")
(maintainers "[email protected]")
(depends dune benchmark))

0 comments on commit 41ad4d4

Please sign in to comment.