[dune] The package XXX does not have any user defined stanzas attached to it
I just got the following error from dune when trying to build my project (named XXX): $ dune build Error: The package XXX does not have any user defined stanzas attached to it. If this is intentional,...
View Article[ANN] dune 3.8.0
The dune team is pleased to announce the release of Dune 3.8.0. It is now available in opam-repository. As usual, it should always be safe to upgrade your dune package: new features and deprecations...
View ArticleANN: Melange 1.0 – compile OCaml / ReasonML to JavaScript
The Melange team and I are thrilled to announce the release of Melange 1.0 today, marking a major milestone in the life of the project. This release represents the culmination of many months of hard...
View ArticleDune wish list for 2023
How about we all try a slightly less serious discussion about tooling for once. I invite you to respond with a list of most desired features, most hated bugs, and anything else you might like to see...
View ArticleCannot find included file during preprocessing
Hello, So I was recently tasked to update an old project, which uses dune, and I am not sure I fully grasp what is happening in one specific part. The project was last used 2+ years ago with dune 1.8...
View ArticleBest practices for continuous integration (CI) in 2023
What is the simplest/best way to set up continuous integration for projects using Dune + GitHub in 2023? The goal is to build and test my code for every PR, perhaps with a few different versions of...
View ArticleHow to make dune run in crontab?
There’s a simple demo project js101, bin/dune: (executable (name main) (modes js) (preprocess (pps js_of_ocaml-ppx)) (libraries js_of_ocaml js_of_ocaml-ppx)) bin/main.ml: open Js_of_ocaml let () = let...
View ArticleJsoo sourcemap and recent versions of dune
I am coming back to some jsoo project someone else had been working on, and I notice that with the (presumably) newer versions of dune and/or jsoo I now have installed, the sourcemap functionality is...
View ArticleDune installation error
Hi, I’m trying to install dune. I did opam install dune. This is the error it gave me #=== ERROR while compiling dune.3.8.2 =========================================# # context 2.1.5 | linux/x86_64 |...
View ArticleCargo/dune integration
Has anyone had some success integrating cargo with dune on something beyond one library + one executable scenario? I’ve tried the approach of building Rust static C lib per foreign archive, it looks...
View ArticleBindings to Maude Solver - Need to dynamically link a .so file
Hi, I’ve already asked for help on reddit and the discord. I’m looking to link OCaml 4.14 programs with the Maude Solver using it’s SWIG bindings. The Maude folks have a cmake build system that...
View ArticleLd error 'missing .note.GNU-stack section'
when running $ dune build e.g. on project geohash I get: $ dune build /usr/local/bin/ld: warning: lib__Cgi.o: missing .note.GNU-stack section implies executable stack /usr/local/bin/ld: NOTE: This...
View ArticleCargo/Opam packaging of a Rust/OCaml project
It is currently unclear how to package and distribute an OCaml package that binds a piece of Rust code. Rust is a popular language, especially for cryptography, and it’s safer than C, making it an...
View ArticleBenefits from upgrading `lang dune` version in dune-project
In a Dune project, I just realized that changing from (lang dune 2.0) to (lang dune 3.0) in the dune-project enabled an extra warning in the code, in this case, (warning 32...
View ArticleOpam uninstall fails to clean up empty directories
I’ve stumbled upon a small issue while toying with an opam package for managing a Frama-C plug-in. In essence, such a plug-in is supposed to install a META file in a subdirectory of Frama-C’s own...
View ArticleOptional coq.extraction
I have a project which builds two packages: one is pure OCaml, and the second one uses Coq extraction. I want to be able to build the former even when Coq is not installed. The immediate problem seems...
View Article[ANN] dune 3.9.0
The Dune team is pleased to announce the release of Dune 3.9.0. It comes with many new features, including: a new dune show command to display various pieces of information. some fixes in the dialect...
View ArticleClik here to view.
Overriding transitive dependencies with a wrapped/modified version thereof?
or, “Is there any way to transparently wrap a module used by a dependency of yours, with a replacement module with compatible types?” A concrete example: let’s say I wanted to modify the...
View ArticleHow to use `menhir --explain` with dune?
I use the (menhir) stanza in dune to compile grammars, but I don’t know how to conveniently use the menhir --explain feature. The naïve approach of using (flags --explain) used to work before the...
View ArticleDynlinking plugin which references LLVM stubs
I’m following dune’s manual about creating dynamically loadable plugins How to Load Additional Files at Runtime — Dune documentation When my plugin depends on Unix library it loads fine. But when I...
View Article