this repo has no description
Merge pull request #27303 from Leonidas-from-XIV/sharper-pointier-baguettes
Fix baguette-sharp build
authored by
Marcello Seri
and committed by
GitHub
7536779e
3f795598
+49
+49
packages/baguette_sharp/baguette_sharp.2.2.1-1/opam
+49
packages/baguette_sharp/baguette_sharp.2.2.1-1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "The Baguette# Interpreter REPL"
4
+
description: "The REPL for Baguette#"
5
+
maintainer: ["Charlotte Thomas"]
6
+
authors: ["Charlotte Thomas"]
7
+
license: "GPL-3.0-or-later"
8
+
homepage: "https://baguettesharp.fr"
9
+
doc: "https://github.com/coco33920/ocaml-baguettesharp-interpreter/wiki"
10
+
bug-reports:
11
+
"https://github.com/coco33920/ocaml-baguettesharp-interpreter/issues"
12
+
depends: [
13
+
"dune" {>= "3.0"}
14
+
"ocaml" {>="4.13.1"}
15
+
"fmt" {>="0.7.0"}
16
+
"linenoise" {>="1.4.0"}
17
+
"odoc" {with-doc}
18
+
]
19
+
patches: ["dune-project-syntax.patch"]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo:
35
+
"git+https://github.com/coco33920/ocaml-baguettesharp-interpreter.git"
36
+
url {
37
+
src:
38
+
"https://github.com/coco33920/ocaml-baguettesharp-interpreter/archive/refs/tags/2.2.1.tar.gz"
39
+
checksum: [
40
+
"md5=7a7d67de03c9d8d89c4b73a06bd5ae49"
41
+
"sha512=55eac5ce65f7c7fede1abda1c9bd9132f6006b8d5ec909116805ca75076c84bcf06635af06956c82e3b53191a62417c6aadca9fa27ce69ef72d42987d6afbc52"
42
+
]
43
+
}
44
+
extra-source "dune-project-syntax.patch" {
45
+
src: "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/baguette_sharp/dune-project-syntax.patch"
46
+
checksum: [
47
+
"sha512=a1f9505b033fdad6323803e9dd387f9e6f70493b9042abe8e03d5f25790876b709e8b31af3e5f3acb63e558d0b7f1c038916d20b4de706b5a050ce852f591e60"
48
+
]
49
+
}