mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-06 06:48:48 +00:00
Update version and dependencies in Lama.opam
This commit is contained in:
parent
c355cd5018
commit
9a5733c714
1 changed files with 3 additions and 7 deletions
10
Lama.opam
10
Lama.opam
|
|
@ -1,5 +1,5 @@
|
||||||
opam-version: "2.0"
|
opam-version: "2.0"
|
||||||
version: "1.2"
|
version: "1.30"
|
||||||
|
|
||||||
synopsis: "Lama programming language"
|
synopsis: "Lama programming language"
|
||||||
maintainer: "dboulytchev@gmail.com"
|
maintainer: "dboulytchev@gmail.com"
|
||||||
|
|
@ -22,15 +22,11 @@ depends: [
|
||||||
|
|
||||||
build: [
|
build: [
|
||||||
[make]
|
[make]
|
||||||
[make "regression-all"] {with-test}
|
[make "regression"] {with-test}
|
||||||
]
|
]
|
||||||
install: [make "install"]
|
install: [make "install"]
|
||||||
|
|
||||||
depexts: [
|
|
||||||
["gcc-multilib"] {os-family = "debian"}
|
|
||||||
]
|
|
||||||
|
|
||||||
dev-repo: "git+https://github.com/PLTools/Lama.git"
|
dev-repo: "git+https://github.com/PLTools/Lama.git"
|
||||||
url {
|
url {
|
||||||
src: "git+https://github.com/PLTools/Lama.git#1.20"
|
src: "git+https://github.com/PLTools/Lama.git#1.30"
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue