Skip to content

Commit 361c3ef

Browse files
committed
Add ppxlib port and sexplib fixes
1 parent 6c414ec commit 361c3ef

File tree

5 files changed

+11
-3
lines changed

5 files changed

+11
-3
lines changed

.gitignore

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
_opam
22
_build
3-
base

.gitmodules

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
11
[submodule "eio"]
22
path = eio
33
url = https://github.com/ocaml-multicore/eio
4+
[submodule "gemini-eio"]
5+
path = gemini-eio
6+
url = https://gitlab.com/talex5/gemini-eio

awesome-multicore-ocaml.opam

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,12 +37,16 @@ pin-depends: [
3737
"uutf" "git+https://github.com/patricoferris/uutf#5.00"
3838
# New, immutable Ephemerons
3939
"sexplib0" "git+https://github.com/patricoferris/sexplib0#5.00"
40+
# Obj.Ext...
41+
"sexplib" "git+https://github.com/patricoferris/sexplib#5.00"
42+
# Needed because I did the changes to sexplib off of the main branch...
43+
"ppx_sexp_conv" "git+https://github.com/janestreet/ppx_sexp_conv"
4044
# Format changes are fixed but unreleased, disable warnings
4145
"notty" "git+https://github.com/patricoferris/notty#5.00"
4246
# String.uppercase
4347
"lwt.5.5.0" "git+https://github.com/patricoferris/lwt#5.00"
44-
# Attempted port to 5.0.0 -- also needs to be < 2 for ppx_cstruct (?)
45-
"ocaml-migrate-parsetree.1.8.0" "git+https://github.com/patricoferris/ocaml-migrate-parsetree#5.00"
4648
# A quick few fixes, probably not was going to happen upstream
4749
"base" "git+https://github.com/patricoferris/base#5.00"
50+
# Thanks to @pitag-ha :))
51+
"ppxlib" "git+https://github.com/pitag-ha/ppxlib#add-temporary-5.0-support"
4852
]

dune

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
(subdir gemini-eio (data_only_dirs eio))

gemini-eio

Submodule gemini-eio added at 4fd9074

0 commit comments

Comments
 (0)