See full changelog
- Fix building the OCaml compiler with Dune (#3038, fixes #2974, @diml)
Read the latest releases and updates from the OCaml ecosystem.
We are pleased to announce the minor release of opam 2.0.6.
As sandbox scripts have been updated, don't forget to run opam init --reinit -ni
to update yours.
Note: To homogenise macOS name on system detection, we decided to keep
macos
, and convertdarwin
tomacos
in opam. For the moment, to not break jobs & CIs, we keep uploadingdarwin
&macos
binaries, but from the 2.1.0 release, onlymacos
ones will be kept.
Installation instructions (unchanged):
From binaries: run
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) --version 2.0.6"
or download manually from the Github "Releases" page to your PATH. In this case, don't forget to run opam init --reinit -ni
to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script.
From source, using opam:
opam update; opam install opam-devel
(then copy the opam binary to your PATH as explained, and don't forget to run opam init --reinit -ni
to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script)
From source, manually: see the instructions in the README.
We hope you enjoy this new minor version, and remain open to bug reports and suggestions.
NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com. Please head to the latter for the comments!
Fiber.finalize
function of the concurrency monad of Dune,
causing a race condition at the user level (#3009, fix #2958, @diml)Attach cinaps stanza actions to both @runtest
and @cinaps
aliases
(#2831, @NathanReb)
Add variables %{lib-private...}
and %{libexec-private...}
for finding
build paths of files in public and private libraries within the same
project. (#2901, @snowleopard)
Add --mandir
option to $ dune install
. This option allows to override the
installation directory for man pages. (#2915, fixes #2670, @rgrinberg)
Fix dune --version
. The bootstrap didn't compute the version
correctly. (#2929, fixes #2911, @diml)
Do not open the log file in dune clean
. (#2965, fixes #2964 and
#2921, @diml)
Support passing two arguments to =
, <>
, ... operators in package
dependencies so that we can have things such as (<> :os win32)
(#2965, @diml)
Guess foreign archives & native archives for libraries defined using the
META
format. (#2994, @rgrinberg, @anmonteiro)
Fix generation of .merlin
files when depending on local libraries with more
than one source directory. (#2983, @rgrinberg)
dune-package
files. The error is now raised
only if the invalid package is treated as a library and used to build
something. (#2972, @rgrinberg)not a git repository
error--output
/-o
option to the test
subcommand to allow specifying a different
output file to write the corrected to, or to write it to the standard output (#194, @NathanReb)let*
bindings (#190, @gpetiot)--syntax
option to rule
subcommand to allow generating rules for cram
tests (#177, @craigfe)require-package
label to explicitly declare dune package
dependencies of a code block
(#149, @Julow)unset-
label to unset env variables in shell blocks (#132, @clecat)ocaml-mdx rule
using dune format-dune-file
(#184, @NathanReb).ml
files in generated dune rules (#140, @clecat)test
(#176, @Julow)skip
label in ocaml-mdx pp
(#1561, @CraigFe).ml
(#156, @Julow)[@@@parts ...]
markers within module definitions (#155, @Julow).ml
file when using to-ml
direction (#139, @clecat)--force-output
to .ml
file as well (#137, @clecat).corrected
files to be written in some cases (#136, @clecat)4.09.0
(#133, @xclerc)output
subcommand as it was very specific to RealWorldOCaml needs (#195, @NathanReb)infer-timestamp
direction (#171 @Julow)without_cmis
Env.check_state_consistency
(#1044)check_state_consistency
(#1044)On behalf of the dune team, I'm delighted to announce the release of dune 2.0. This release is the culmination of 4 months of hard work by the dune team and contains new features, bug fixes, and performance improvements . Here's a selection of new features that I personally find interesting:
(deprecated_library_name ..)
stanza to properly deprecate old library names(foreign_library ..)
stanza to define C/C++ libraries.Refer to the change log for an exhaustive list.
We strive for a good out of the box experience that requires no configuration, so we've also tweaked a few defaults. In particular, $ dune build
will now build @all
instead of @install
, and ocamlformat rules are setup by default.
Lastly, dune 2.0 sheds all the legacy related to jbuilder and will no longer build jbuilder projects. This change is necessary to ease maintenance and make it easier to add new features down the line. There are a few other minor breaking changes. Refer to the change log for the full list. We apologize in advance for any convenience this might cause.
Happy Hacking!
Remove existing destination files in install
before installing the new
ones. (#2885, fixes #2883, @bschommer)
The action
field in the alias
stanza is not available starting lang dune 2.0
. The alias
field in the rule
stanza is a replacement. (#2846, fixes
2681, @rgrinberg)
Introduce alias
and package
fields to the rule
stanza. This is the
preferred way of attaching rules to aliases. (#2744, @rgrinberg)
Add field (optional)
for executable stanzas (#2463, fixes #2433, @bobot)
Infer targets for rule stanzas expressed in long form (#2494, fixes #2469, @NathanReb)
Indicate the progress of the initial file tree loading (#2459, fixes #2374, @bobot)
Build .cm[ox]
files for executables more eagerly. This speeds up builds at
the cost of building unnecessary artifacts in some cases. Some of these extra
artifacts can fail to built, so this is a breaking change. (#2268, @rgrinberg)
Do not put the <package>.install
files in the source tree unless -p
or
--promote-install-files
is passed on the command line (#2329, @jeremiedimino)
Compilation units of user defined executables are now mangled by default. This is done to prevent the accidental collision with library dependencies of the executable. (#2364, fixes #2292, @rgrinberg)
Enable (explicit_js_mode)
by default. (#1941, @nojb)
Add an option to clear the console in-between builds with
--terminal-persistence=clear-on-rebuild
Stop symlinking object files to main directory for stanzas defined jbuild
files (#2440, @rgrinberg)
Library names are now validated in a strict fashion. Previously, invalid names would be allowed for unwrapped libraries (#2442, @rgrinberg)
mli only modules must now be explicitly declared. This was previously a warning and is now an error. (#2442, @rgrinberg)
Modules filtered out from the module list via the Ordered Set Language must now be actual modules. (#2442, @rgrinberg)
Actions which introduce targets where new targets are forbidden (e.g. preprocessing) are now an error instead of a warning. (#2442, @rgrinberg)
No longer install a jbuilder
binary. (#2441, @jeremiedimino)
Stub names are no longer allowed relative paths. This was previously a warning and is now an error (#2443, @rgrinberg).
Define (paths ...) fields in (context ...) definitions in order to set or extend any PATH-like variable in the context environment. (#2426, @nojb)
The diff
action will always normalize newlines before diffing. Perviousy, it
would not do this normalization for rules defined in jbuild files. (#2457,
@rgrinberg)
Modules may no longer belong to more than one stanza. This was previously
allowed only in stanzas defined in jbuild
files. (#2458, @rgrinberg)
Remove support for jbuild-ignore
files. They have been replaced by the the
dirs
stanza in dune
files. (#2456, @rgrinberg)
Add a new config option sandboxing_preference
, the cli argument --sandbox
,
and the dep spec sandbox
in dune language. These let the user control the level of
sandboxing done by dune per rule and globally. The rule specification takes precedence.
The global configuration merely specifies the default.
(#2213, @aalekseyev, @jeremiedimino)
Remove support for old style subsystems. Dune will now emit a warning to reinstall the library with the old style subsystem. (#2480, @rgrinberg)
Add action (with-stdin-from
Change the automatically generated odoc index to only list public modules. This only affects unwrapped libraries (#2479, @rgrinberg)
Set up formatting rules by default. They can be configured through a new
(formatting)
stanza in dune-project
(#2347, fixes #2315, @emillon)
Change default target from @install
to @all
. (#2449, fixes #1220,
@rgrinberg)
Include building stubs in @check
rules. (@rgrinberg, #2530)
Get rid of ad-hoc rules for guessing the version. Dune now only
relies on the version written in the dune-project
file and no
longer read VERSION
or similar files (#2541, @jeremiedimino)
In (diff? x y)
action, require x
to exist and register a
dependency on that file. (#2486, @aalekseyev)
On Windows, an .exe suffix is no longer added implicitly to binary names that already end in .exe. Second, when resolving binary names, .opt variants are no longer chosen automatically. (#2543, @nojb)
Make (diff? x y)
move the correction file (y
) away from the build
directory to promotion staging area. This makes corrections work with
sandboxing and in general reduces build directory pollution. (#2486,
@aalekseyev, fixes #2482)
c_flags
, c_names
and cxx_names
are now supported in executable
and executables
stanzas. (#2562, @nojb)
Note: this feature has been subsequently extended into a separate
foreign_stubs
field. (#2659, RFC #2650, @snowleopard)
Remove git integration from $ dune upgrade
(#2565, @rgrinberg)
Add a --disable-promotion
to disable all modification to the source
directory. There's also a corresponding DUNE_DISABLE_PROMOTION
environment
variable. (#2588, fix #2568, @rgrinberg)
Add a forbidden_libraries
field to prevent some library from being
linked in an executable. This help detecting who accidently pulls in
unix
for instance (#2570, @jeremiedimino)
Fix incorrect error message when a variable is expanded in static context:
%{lib:lib:..}
when the library does not exist. (#2597, fix #1541,
@rgrinberg)
Add --sections
option to $ dune install
to install subsections of .install
files. This is useful for installing only the binaries in a workspace for
example. (#2609, fixes #2554, @rgrinberg)
Drop support for jbuild
and jbuild-ignore
files (#2607, @jeremiedimino)
Add a dune-action-plugin
library for describing dependencies direcly in
the executable source. Programs that use this feature can be run by a new
action (dynamic-run
Stop installing the ocaml-syntax-shims
binary. In order to use
future_syntax
, one now need to depend on the ocaml-syntax-shims
package (#2654, @jeremiedimino)
Add support for dependencies that are re-exported. Such dependencies
are marked withre_export
and will automatically be provided to
users of a library (#2605, @rgrinberg)
Add a deprecated_library_name
stanza to redirect old names after a
library has been renamed (#2528, @jeremiedimino)
Error out when a preprocessor_deps
field is present but not
preprocess
field is. It is a warning with Dune 1.x projects
(#2660, @Julow)
Dune will use -output-complete-exe
instead of -custom
when compiling
self-contained bytecode executables whenever this options is available
(OCaml version >= 4.10) (#2692, @nojb)
Add action (with-accepted-exit-codes <pred> <action>)
to specify the set of
successful exit codes of <action>
. <pred>
is specified using the predicate
language. (#2699, @nojb)
Do not setup rules for disabled libraries (#2491, fixes #2272, @bobot)
Configurator: filter out empty flags from pkg-config
(#2716, @AltGr)
no_keep_locs
is a no-op for projects that use lang dune
older than 2.0. In
projects where the language is at least 2.0
, the field is now forbidden.
(#2752, fixes #2747, @rgrinberg)
Extend support for foreign sources and archives via the (foreign_library ...)
stanza as well as the (foreign_stubs ...)
and (foreign_archives ...)
fields.
(#2659, RFC #2650, @snowleopard)
Add (deprecated_package_names) field to (package) declaration in dune-project. The names declared here can be used in the (old_public_name) field of (deprecated_library_name) stanza. These names are interpreted as library names (not prefixed by a package name) and appropiate redirections are setup in their META files. This feaure is meant to migrate old libraries which do not follow Dune's convention of prefixing libraries with the package name. (#2696, @nojb)
The fields license
, authors
, maintainers
, source
, bug_reports
,
homepage
, and documentation
of dune-project
can now be overriden on a
per-package basis. (#2774, @nojb)
Change the default modes
field of executables to (mode exe)
. If
one wants to build a bytecode program, it now needs to be explicitly
requested via (modes byte exe)
. (#2851, @jeremiedimino)
Allow ccomp_type
as a variable for evaluating enabled_if
. (#2855, @dra27,
@rgrinberg)
Stricter validation of file names in select
. The file names of conditional
sources must match the prefix and the extension of the resultant filename.
(#2867, @rgrinberg)
Add flag disable_dynamically_linked_foreign_archives
to the workspace file.
If the flag is set to true
then: (i) when installing libraries, we do not
install dynamic foreign archives dll*.so
; (ii) when building executables in
the byte
mode, we statically link in foreign archives into the runtime
system; (iii) we do not generate any dll*.so
rules. (#2864, @snowleopard)
Reimplement the bootstrap procedure. The new procedure is faster and should no longer stack overflow (#2854, @dra27, @jeremiedimino)
Allow .opam.template
files to be generated using rules (#2866, @rgrinberg)
profile = ocamlformat
in your .ocamlformat
.--opt
and --no-opt` are available on the CLI for any boolean option "opt".
Previously, only one of them were available depending on the default value.break-string-literals
(#1057, @gpetiot).
wrap
, newlines
and newlines-and-wrap
values of break-string-literals
are removed.
auto
replaces them, it is equivalent to newlines-and-wrap
.after-and-docked
value of break-separators
is removed and is replaced by a new dock-collection-brackets
option.begin
and end
keywords in if-then-else (#978, @Julow).
Previously, begin
/end
keywords around if-then-else branches were turned into parentheses.sequence-blank-line=preserve-one
for let bindings (#1077, @Julow).
Preserve a blank line after let .. in
when sequence-blank-line
set to preserve-one
.
Previously, only blank lines after ;
could be preserved.#directives
in .ml
files.
Previously, files containing a directive needed to be parsed as "use file".
The "use file" mode is removed and --use-file
is now the same as --impl
.--name
, require kind, forbid --inplace
, allow --check
, make --enable-outside-detected-project
implicit when reading from stdin (#1018, @gpetiot)(*$ code *)
and code blocks in documentation comments (** {[ code ]} *)
.max-indent
(#1105, @gpetiot)Pmty_with
(#1103, @jberdine)break-cases=all
(#1002, @gpetiot)Fmt
API in case Fmt.t
goes abstract (#1106, @emillon)Translation_unit
(#1078, @gpetiot)sequence_blank_line
(#1075, @Julow)Fmt_ast
(#1059, @gpetiot)test_branch.sh
(#1033, @gpetiot)test_branch.sh
and CI checking of CHANGES.md (#1032, #1034, @Julow)test_branch.sh
and bisect.sh
(#1027, @gpetiot)bisect_ppx
dependency and clean the Makefile
(#1005, @Julow)CHANGES.md
log file again (#1023, @gpetiot)CONTRIBUTING.md
(#1007, @gpetiot)--ignore-invalid-option
flag is added to ignore invalid options in .ocamlformat
files.--doc-comments
(#982, @Julow)fmt_code
(#974, @gpetiot)Makefile
(#973, @hhugo)[@...]
) to better match the actual meaning.Allow to mark directories as data_only_dirs
without including them as dirs
(#2619, fix #2584, @rgrinberg)
Fix reading .install
files generated with an external --build-dir
. (#2638,
fix #2629, @rgrinberg)
opam submit
would fail if the opam files had no description
(#165, @NathanReb)Bugs fixed
:
characters (#384,
reported Sylvain Le Gall).<meta generator>
again (#378, Daniel Bünzli).odoc html-targets
was ignoring deeply nested modules (#379, Daniel
Bünzli).List.iter2
(#376, Yotam Barnoy).~/.config
)(*$
)IndentBlock.is_at_top
now returns true for top-level expressionsRemove the optimisation of passing -nodynlink
for executables when
not necessary. It seems to be breaking things (see #2527, @diml)
Fix invalid library names in dune-package
files. Only public names should
exist in such files. (#2558, fix #2425, @rgrinberg)
Fix config file dependencies of ocamlformat (#2471, fixes #2464, @nojb)
Cleanup stale directories when using (source_tree ...)
in the
presence of directories with only sub-directories and no files
(#2514, fixes #2499, @diml)
On behalf of the dune team, I'm pleased to announce the release of dune 1.11.0. This release contains quite a few new interesting features such as custom dialects: anyone can define their own OCaml based syntax. Is anyone up to revive the revised syntax? :slight_smile: I'd also like to highlight the the re-launch of variants feature in a sounder form, a new build-info
library that queries build information, and that dune init
can initialize an entire project. But of course, by far the most important thing is that the compiler's colours are now back :champagne:
Don't select all local implementations in dune utop
. Instead, let the
default implementation selection do its job. (#2327, fixes #2323, @TheLortex,
review by @rgrinberg)
Check that selected implementations (either by variants or default implementations) are indeed implementations. (#2328, @TheLortex, review by @rgrinberg)
Don't reserve the Ppx
toplevel module name for ppx rewriters (#2242, @jeremiedimino)
Redesign of the library variant feature according to the #2134 proposal. The
set of variants is now computed when the virtual library is installed.
Introducing a new external_variant
stanza. (#2169, fixes #2134, @TheLortex,
review by @jeremiedimino)
Add proper line directives when copying .cc
and .cxx
sources (#2275,
@rgrinberg)
Fix error message for missing C++ sources. The .cc
extension was always
ignored before. (#2275, @rgrinberg)
Add $ dune init project
subcommand to create project boilerplate according
to a common template. (#2185, fixes #159, @shonfeder)
Allow to run inline tests in javascript with nodejs (#2266, @hhugo)
Build ppx.exe
as compiling host binary. (#2286, fixes #2252, @toots, review
by @rgrinberg and @jeremiedimino)
Add a cinaps
extension and stanza for better integration with the
cinaps tool tool (#2269,
@jeremiedimino)
Allow to embed build info in executables such as version and list and version of statically linked libraries (#2224, @jeremiedimino)
Set version in META
and dune-package
files to the one read from
the vcs when no other version is available (#2224, @jeremiedimino)
Add a variable %{target}
to be used in situations where the context
requires at most one word, so %{targets}
can be confusing; stdout
redirections and "-o" arguments of various tools are the main use
case; also, introduce a separate field target
that must be used
instead of targets
in those situations. (#2341, @aalekseyev)
Fix dependency graph of wrapped_compat modules. Previously, the dependency on the user written entry module was omitted. (#2305, @rgrinberg)
Allow to promote executables built with an executable
stanza
(#2379, @jeremiedimino)
When instantiating an implementation with a variant, make sure it matches virtual library's list of known implementations. (#2361, fixes #2322, @TheLortex, review by @rgrinberg)
Add a variable %{ignoring_promoted_rules}
that is true
when
--ingore-promoted-rules
is passed on the command line and false
otherwise (#2382, @jeremiedimino)
Fix a bug in future_syntax
where the characters @
and &
were
not distinguished in the names of binding operators (let@
was the
same as let&
) (#2376, @aalekseyev, @jeremiedimino)
Workspaces with non unique project names are now supported. (#2377, fix #2325, @rgrinberg)
Improve opam generation to include the dune
dependencies with the minimum
constraint set based on the dune language version specified in the
dune-project
file. (2383, @avsm)
The order of fields in the generated opam file now follows order preferred in opam-lib. (@avsm, #2380)
Fix coloring of error messages from the compiler (@jeremiedimino, #2384)
Add warning 66
to default set of warnings starting for dune projects with
language verison >= 1.11
(@rgrinberg, @jeremiedimino, fixes #2299)
Add (dialect ...) stanza (@nojb, #2404)
Add a --context
argument to dune install/uninstall
(@jeremiedimino, #2412)
Do not warn about merlin files pre 1.9. This warning can only be disabled in 1.9 (#2421, fixes #2399, @emillon)
Add a new inline_tests
field in the env stanza to control inline_tests
framework with a variable (#2313, @mlasson, original idea by @jeremiedimino, review
by @rgrinberg).
New binary kind js
for executables in order to explicitly enable Javascript
targets, and a switch (explicit_js_mode)
to require this mode in order to
declare JS targets corresponding to executables. (#1941, @nojb)
**
globbing in .merlin won't look into hidden directories
(starting with a '.') (by Daniel Bünzli, #990)CHANGES
,
LICENSE
and README
(#161, @NathanReb)dune-release
logs such as user
prompts and informational logsWe are pleased to announce the minor release of opam 2.0.5.
This new version contains build update and small fixes:
Note: To homogenise macOS name on system detection, we decided to keep
macos
, and convertdarwin
tomacos
in opam. For the moment, to not break jobs & CIs, we keep uploadingdarwin
&macos
binaries, but from the 2.1.0 release, onlymacos
ones will be kept.
Installation instructions (unchanged):
From binaries: run
sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
or download manually from the Github "Releases" page to your PATH. In this case, don't forget to run opam init --reinit -ni
to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script.
From source, using opam:
opam update; opam install opam-devel
(then copy the opam binary to your PATH as explained, and don't forget to run opam init --reinit -ni
to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script)
From source, manually: see the instructions in the README.
We hope you enjoy this new minor version, and remain open to bug reports and suggestions.
NOTE: this article is cross-posted on opam.ocaml.org and ocamlpro.com. Please head to the latter for the comments!
let%ext
(#873, @gpetiot):=
(#780, @gpetiot)Bugs fixed
<span>
s (#360, Thomas
Refis)..mld
pages (#361, Rizo Isrof).:
instead of =
(#344, Geoff Reedy).*
instead of &
(#353, Florian Angeletti).+=
) printed without CSS classes found in other items (#348,
reported Stéphane Lavergne).--mute
(#345,
Geoff Reedy).