Skip to content

Commit

Permalink
Turn uchar into a dummy package that will satisfy both opam-monorepo …
Browse files Browse the repository at this point in the history
…and opam

The virtual package worked for opam-monorepo but trying to opam install
the generated lockfiles would fail because uchar.0.0.2+dune wasn't pinned
since it had no sources and doesn't exist outside opam-overlays.
  • Loading branch information
NathanReb committed Nov 27, 2020
1 parent f998883 commit 1a5cd87
Show file tree
Hide file tree
Showing 15 changed files with 6 additions and 1,062 deletions.
1 change: 0 additions & 1 deletion .ocp-indent

This file was deleted.

2 changes: 0 additions & 2 deletions _tags

This file was deleted.

1 change: 0 additions & 1 deletion doc/api.odocl

This file was deleted.

109 changes: 0 additions & 109 deletions doc/style.css

This file was deleted.

15 changes: 6 additions & 9 deletions opam
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
opam-version: "1.2"
opam-version: "2.0"
maintainer: "Daniel Bünzli <daniel.buenzl [email protected]>"
authors: ["Daniel Bünzli <daniel.buenzl [email protected]>"]
homepage: "http://ocaml.org"
Expand All @@ -7,11 +7,8 @@ dev-repo: "https://github.com/ocaml/uchar.git"
bug-reports: "https://github.com/ocaml/uchar/issues"
tags: [ "text" "character" "unicode" "compatibility" "org:ocaml.org" ]
license: "typeof OCaml system"
available: [ ocaml-version >= "3.12.0" ]
depends: [ "ocamlbuild" {build} ]
build:
[
[ "ocaml" "pkg/git.ml" ]
[ "ocaml" "pkg/build.ml" "native=%{ocaml-native}%"
"native-dynlink=%{ocaml-native-dynlink}%"]
]
depends: [ "dune" "ocaml" {>= "4.03"} ]
synopsis: "Dummy but non virtual package to satisfy both opam-monorepo and opam"
url {
src: "git+https://github.com/dune-universe/uchar.git#dune-universe-v0.0.2"
}
7 changes: 0 additions & 7 deletions pkg/META

This file was deleted.

2 changes: 0 additions & 2 deletions pkg/META.empty

This file was deleted.

34 changes: 0 additions & 34 deletions pkg/build.ml

This file was deleted.

11 changes: 0 additions & 11 deletions pkg/config.ml

This file was deleted.

14 changes: 0 additions & 14 deletions pkg/git.ml

This file was deleted.

Loading

0 comments on commit 1a5cd87

Please sign in to comment.