Skip to content

Commit

Permalink
UPDATE pds and hll
Browse files Browse the repository at this point in the history
  • Loading branch information
orbitz committed Jan 14, 2025
1 parent 451b1e5 commit 78b85bf
Show file tree
Hide file tree
Showing 2 changed files with 93 additions and 0 deletions.
46 changes: 46 additions & 0 deletions packages/hll/hll.4.3/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
opam-version: "2.0"
maintainer: "[email protected]"
build: [
[make "-j%{jobs}%"]
[make "-j%{jobs}%" "test"] {with-test}
]

install: [
[make "PREFIX=%{prefix}%" "install"]
]

remove: [
[make "PREFIX=%{prefix}%" "remove"]
]

depends: [
"cmdliner" { >= "1.3.0" }
"containers" { >= "3.12.0" }
"ocaml" { >= "4.12.0" }
"ocamlfind"
"pds" { build & (>= "5" & < "6") }
"process" { >= "0.2.1" }
"sha"
"toml" { >= "6" }
]

authors: [
"[email protected]"
]

description: """
Create opam package files from a repository.
"""

homepage: "https://hg.sr.ht/~mmatalka/hll"

url {
src: "http://acsl-pkgs.s3.amazonaws.com/hll-4.3.tar.gz"
checksum: [
"md5=06478a115f258009bca9471d2523cb86"
"sha256=429223479883308e5cf1d1f04329614c9466f2e856391999ba8a69472c304cde"
]
}
bug-reports: "https://todo.sr.ht/~mmatalka/hll"
dev-repo: "hg+ssh://[email protected]/~mmatalka/hll"

47 changes: 47 additions & 0 deletions packages/pds/pds.5.42/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
opam-version: "2.0"
maintainer: "[email protected]"
build: [
[make "-j%{jobs}%"]
[make "-j%{jobs}%" "test"] {with-test}
]

install: [
[make "PREFIX=%{prefix}%" "install"]
]

remove: [
[make "PREFIX=%{prefix}%" "remove"]
]

depends: [
"cmdliner" { >= "1.3.0" }
"containers" { >= "3.12.0" }
"crunch"
"ocaml" { >= "4.12.0" }
"ocamlfind"
"ppx_deriving"
"process" { >= "0.2.1" }
"sedlex"
"toml" { >= "6" }
]

authors: [
"[email protected]"
]

description: """
A tool to build Makefiles for Ocaml projects.
"""

homepage: "https://hg.sr.ht/~mmatalka/pds"

url {
src: "http://acsl-pkgs.s3.amazonaws.com/pds-5.42.tar.gz"
checksum: [
"md5=cf97ba8e700d1424f6dbc55abf7b97e9"
"sha256=ead769f305c2757494343eba5f38c2f8e9a2e3f496712ed4be128b56441524e7"
]
}
bug-reports: "https://todo.sr.ht/~mmatalka/pds"
dev-repo: "hg+ssh://[email protected]/~mmatalka/pds"

0 comments on commit 78b85bf

Please sign in to comment.