Skip to content

Conversation

@madroach
Copy link
Contributor

No description provided.

@madroach madroach mentioned this pull request Apr 18, 2020
4 tasks
@camelus
Copy link
Contributor

camelus commented Apr 18, 2020

Commit: 8007ec7

@madroach has posted 14 contributions.

☀️ All lint checks passed 8007ec7
  • These packages passed lint tests: lmdb.1.0

☀️ Installability check (+1)
  • new installable packages (1): lmdb.1.0

Christopher Zimmermann added 2 commits April 19, 2020 10:28
OpenSUSE, RHEL and CentOS don't seem to ship lmdb-devel.
For RHEL and CentOS it is available from EPEL:
http://mirrors.syringanetworks.net/fedora-epel/8/Everything/x86_64/Packages/l/lmdb-devel-0.9.23-2.el8.x86_64.rpm

Is it possible to explain this to depexts ?
@madroach
Copy link
Contributor Author

For RHEL and CentOS lmdb-devel would need to be installed from EPEL. Is this possible via depext ?
The build failure on Ubuntu xenial is due to a bug in the outdated backend lmdb 0.9.17.

@madroach madroach marked this pull request as ready for review April 19, 2020 10:00
@kit-ty-kate
Copy link
Member

Could you also return my fix upstream?

@madroach
Copy link
Contributor Author

Sure I will merge this back upstream. Why did you remove the build tag on dune ?

@kit-ty-kate
Copy link
Member

Sure I will merge this back upstream. Why did you remove the build tag on dune ?

dune is only partially backward compatible. If it were to be downgraded for any reason, all the packages that were installed with a newer version would be totally unusable and the whole switch would have to be rebuilt. See #14266 and ocaml/dune#2147 for more informations.

@kit-ty-kate
Copy link
Member

Thanks a lot!

@kit-ty-kate kit-ty-kate merged commit 55d164f into ocaml:master Apr 22, 2020
@madroach
Copy link
Contributor Author

Ok. I get it about the build tag on dune. But why remove it for dune-configurator ?

@kit-ty-kate
Copy link
Member

mmh, good point, I guess dune-configurator can still be a {build} dependency but in the general case it doesn't usually matter as dune and dune-configurator usually upgrades in pair.

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.

3 participants