Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add extension library stubs to otherlibs #2403

Merged
merged 14 commits into from
Mar 29, 2024
Merged

Add extension library stubs to otherlibs #2403

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
069cdf7
Create a test otherlib
d-kalinichenko Mar 28, 2024
87e4f54
Fix unused Stdlib open
d-kalinichenko Mar 28, 2024
c533527
Make beta build with makefiles
d-kalinichenko Mar 28, 2024
c23ffb1
Build beta with Dune
d-kalinichenko Mar 28, 2024
e8255b3
Remove `Float_u` from beta for now
d-kalinichenko Mar 28, 2024
8744d4c
Create stub otherlibs for alpha, stable and upstream_compatible
d-kalinichenko Mar 28, 2024
8e45ebd
Fix build
d-kalinichenko Mar 28, 2024
e72b976
Test that library modules exist
d-kalinichenko Mar 28, 2024
dd98486
Fix copyright
d-kalinichenko Mar 28, 2024
5e0bc3f
Remove clibnames
d-kalinichenko Mar 28, 2024
e4e7952
Uncommit dynlink interfaces
d-kalinichenko Mar 28, 2024
86c6088
Document extensions otherlibs
d-kalinichenko Mar 28, 2024
97cc693
Use spaces instead of tabs
d-kalinichenko Mar 29, 2024
d1d3f65
Remove `enable_extension_libs`
d-kalinichenko Mar 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Make beta build with makefiles
  • Loading branch information
@d-kalinichenko
d-kalinichenko committed Mar 28, 2024
commit c5335276e95a9f9860c6f51e34cc2a3924ebc84e
14 changes: 6 additions & 8 deletions ocaml/otherlibs/beta/.depend
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,13 +1,11 @@
beta.cmo : \
float_u.cmi \
beta.cmi
beta.cmx : \
float_u.cmx \
beta.cmi
beta.cmi : \
float_u.cmi
float_u.cmo : \
float_u.cmi
float_u.cmx : \
float_u.cmi
float_u.cmi :
beta_float_u.cmi
beta_float_u.cmo : \
beta_float_u.cmi
beta_float_u.cmx : \
beta_float_u.cmi
beta_float_u.cmi :
2 changes: 1 addition & 1 deletion ocaml/otherlibs/beta/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@

LIBNAME=beta
CLIBNAME=camlbeta
CAMLOBJS=beta.cmo
CAMLOBJS=beta_float_u.cmo beta.cmo
C_SOURCES=
HEADERS=

Expand Down
2 changes: 1 addition & 1 deletion ocaml/otherlibs/beta/beta.ml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
module Float_u = Float_u
module Float_u = Beta_float_u
2 changes: 1 addition & 1 deletion ocaml/otherlibs/beta/beta.mli
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
module Float_u = Float_u
module Float_u = Beta_float_u
0 ocaml/otherlibs/beta/float_u.ml → ocaml/otherlibs/beta/beta_float_u.ml
View file
Open in desktop
File renamed without changes.
0 ocaml/otherlibs/beta/float_u.mli → ocaml/otherlibs/beta/beta_float_u.mli
View file
Open in desktop
File renamed without changes.