st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

update opam file

Browse source
This commit is contained in:
Danya Berezun 2023-10-04 09:31:25 +02:00
parent e3f28b94b1
commit 8c059f3c28
1 changed files with 14 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

24
Lama.opam
View file

@ -1,23 +1,27 @@
opam-version: "2.0"
version: "1.20"
version: "1.2"
synopsis: "Lama programming system"
synopsis: "Lama programming language"
maintainer: "dboulytchev@gmail.com"
authors: "dboulytchev@gmail.com"
homepage: "https://github.com/JetBrains-Research/Lama"
bug-reports: "https://github.com/JetBrains-Research/Lama/issues"
authors: [
"Dmitry Boulytchev <dboulytchev@gmail.com>"
"Daniil Berezun <danya.berezun@gmail.com>"
"Egor Sheremetov <egor.sheremetov.dev@gmail.com>"
]
homepage: "https://github.com/PLTools/Lama"
bug-reports: "https://github.com/PLTools/Lama/issues"
depends: [
"ocaml" { >= "4.07.1" }
"ocaml" { >= "4.13.1" }
"ocamlfind" { build }
"camlp5" { >= "8.00.05"}
"ostap" { >= "0.5"}
"GT" { >= "0.5.0" }
"GT" { >= "0.5.1" }
]
build: [
[make]
[make "regression"] {with-test}
[make "regression-all"] {with-test}
]
install: [make "install"]
@ -25,7 +29,7 @@ depexts: [
["gcc-multilib"] {os-family = "debian"}
]
dev-repo: "git+https://github.com/JetBrains-Research/Lama.git"
dev-repo: "git+https://github.com/PLTools/Lama.git"
url {
src: "git+https://github.com/JetBrains-Research/Lama.git#1.10+ocaml4.10"
src: "git+https://github.com/PLTools/Lama.git#1.20"
}