Skip to content

Commit ae2fcdb

Browse files
committed
ci(lintcstubs-gen): add opam pin-depends
Also add a test for 4.13 on one OS. Signed-off-by: Edwin Török <[email protected]>
1 parent 3f9a8bd commit ae2fcdb

File tree

6 files changed

+18
-4
lines changed

6 files changed

+18
-4
lines changed

.github/workflows/workflow.yml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,10 @@ jobs:
1616
- ubuntu-latest
1717
ocaml-compiler:
1818
- 4.14.x
19+
- 4.13.x
20+
exclude:
21+
- os: macos-latest
22+
ocaml-compiler: 4.13.x
1923

2024
runs-on: ${{ matrix.os }}
2125

@@ -29,8 +33,6 @@ jobs:
2933
ocaml-compiler: ${{ matrix.ocaml-compiler }}
3034
dune-cache: true
3135

32-
- run: opam pin add lintcstubs-arity.0.2.2 https://github.com/edwintorok/lintcstubs-arity.git
33-
3436
- run: opam install . --deps-only --with-test
3537

3638
- run: opam exec -- dune build

dune-project

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
(synopsis "OCaml C stub wrapper generator")
1919
(description "Generates a C model for how OCaml C primitives can be called. Link with a C model of the OCaml runtime, or run a static analyzer to find incorrect API/macro usage that leads to race conditions.")
2020
(depends
21-
(ocaml (>= 4.14))
21+
(ocaml (>= 4.13))
2222
(lintcstubs-arity (>= 0.2.2))
2323
)
2424
)

lintcstubs-gen.opam

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ homepage: "https://github.com/edwintorok/lintcstubs"
1010
bug-reports: "https://github.com/edwintorok/lintcstubs/issues"
1111
depends: [
1212
"dune" {>= "3.0"}
13-
"ocaml" {>= "4.14"}
13+
"ocaml" {>= "4.13"}
1414
"lintcstubs-arity" {>= "0.2.2"}
1515
"odoc" {with-doc}
1616
]
@@ -31,3 +31,6 @@ build: [
3131
["dune" "install" "-p" name "--create-install-files" name]
3232
]
3333
dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"
34+
pin-depends: [
35+
["lintcstubs-arity.0.2.2" "git+https://github.com/edwintorok/lintcstubs-arity.git#0.2.2"]
36+
]

lintcstubs-gen.opam.template

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
pin-depends: [
2+
["lintcstubs-arity.0.2.2" "git+https://github.com/edwintorok/lintcstubs-arity.git#0.2.2"]
3+
]

lintcstubs.opam

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,3 +37,6 @@ build: [
3737
["dune" "install" "-p" name "--create-install-files" name]
3838
]
3939
dev-repo: "git+https://github.com/edwintorok/lintcstubs.git"
40+
pin-depends: [
41+
["dune-compiledb.0.4.0" "git+https://github.com/edwintorok/dune-compiledb.git#0.4.0"]
42+
]

lintcstubs.opam.template

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
pin-depends: [
2+
["dune-compiledb.0.4.0" "git+https://github.com/edwintorok/dune-compiledb.git#0.4.0"]
3+
]

0 commit comments

Comments
 (0)