Skip to content

Conversation

denismerigoux
Copy link
Contributor

@denismerigoux denismerigoux commented Jul 31, 2025

catala.1.0.0~alpha

Compiler and library for the literate programming language for tax code specification
Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information



🐫 Pull-request generated by opam-publish v2.5.1

"obelisk" {cataladevmode}
"conf-npm" {cataladevmode}
"conf-python-3-dev" {cataladevmode}
"conf-openjdk" {cataladevmode}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"conf-openjdk" {cataladevmode}
"conf-openjdk"

This seems to be necessary:

ile "runtimes/java/dune", line 9, characters 8-13:
# 9 |    (run javac @java.files -d _build)
#             ^^^^^
# Error: Program javac not found in the tree or in PATH
#  (context: default)

Instad of cataladevmode you can use with-dev-setup

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the tip! I now use with-dev-steup and made the conf-openjdk dependency mandatory, let's see how it goes through the CI :)

@avsm
Copy link
Member

avsm commented Aug 14, 2025

@denismerigoux Looks like there are some test failures now, so it's getting further... would be useful if you could check the failures though.

@raphael-proust
Copy link
Contributor

@denismerigoux

there seems to be multiple issues:

first, it possibly looks like your release is only compatible with some versions of java? this could explain why there are failures on not-so-recent debian and ubuntu but success otherwise.

let me know if you agree with this diagnostic, we can merge packages that require some user setup (like, your users will have to install some stuff manually) but beware that you might receive bug reports and stuff. utlimately, if you are ok merging something that takes a bit of work to setup, it's fine with us.

second, there is an error with the web interpreter js tests on arm32. for this you should figure out whether you want to make the package incompatible with the arch, maybe with all 32bit arches. add the constraints in your opam file and that should be ok.

Third, it is recommended for alpha versions to add flags: avoid-version so that it can be installed expliciutly but won't be picked up by opam accidentally as dependency.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants