Glibc2.26 breaks ocaml < 4.06

[anbenali]

Hello,

I unfortunately bought a new laptop and all linux distributions come with glibc 2.26. This version gives a bug with ocaml. issue is open in ocaml git page: https://github.com/janestreet/core/issues/95

The workaround is to ave ocaml 4.06 with core 0.10 This is working for the others but I get the following error :

abenali@abenali:~/Work/src/quantum_package/ocaml$ make
./create_git_sha1.sh
rm -f -- qp_set_mo_class
ocamlbuild -j 0 -cflags "-g" -lflags "-g"  qp_set_mo_class.native -use-ocamlfind 
+ ocamlfind ocamlc -c -g -thread -package core,cryptokit,ZMQ,str,ppx_sexp_conv,ppx_deriving -o qp_set_mo_class.cmo qp_set_mo_class.ml
File "qp_set_mo_class.ml", line 326, characters 4-17:
Error: This function has type
         summary:string ->
         ?readme:(unit -> string) ->
         (unit -> unit) Core.Command.Param.t -> Core.Command.t
       It is applied to too many arguments; maybe you forgot a `;'.
Command exited with code 2.
Compilation unsuccessful after building 88 targets (87 cached) in 00:00:00.
Makefile:65: recipe for target 'qp_set_mo_class.native' failed
make: *** [qp_set_mo_class.native] Error 10

Help us obiwan-Amazing

[scemama]

Argh! Core is not a native OCaml library, but a library developed by Janestreet. They have done a lot of changes between Core 0.9.1 and 0.10 which are not backwards compatible. I made a mistake choosing to rely on core.... so I am slowly trying to remove it. In the meantime, i pinned the 0.9.1 version which worked fine. It will take some time to fix.

[TApplencourt]

Anouar, You may try opam remove core, opam install core 0.9.2 . Dummo if it's work with the newest ocaml version.

On Fri, Jan 19, 2018 at 8:46 AM, Anthony Scemama notifications@github.com wrote:

Argh! Core is not a native OCaml library, but a library developed by Janestreet. They have done a lot of changes between Core 0.9.1 and 0.10 which are not backwards compatible. I made a mistake choosing to rely on core.... so I am slowly trying to remove it. In the meantime, i pinned the 0.9.1 version which worked fine. It will take some time to fix.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/LCPQ/quantum_package/issues/227#issuecomment-358985337, or mute the thread https://github.com/notifications/unsubscribe-auth/AGOP62lMH93zwzUBhyHFxKKeDLyyl1XCks5tMKqrgaJpZM4Rj0RR .

[anbenali]

Humm... This is indeed problematic... glibc2.26 targets (amongst other) directly a bug in core < 0.10. this means that the moment there will be an update in the linux kernel in any center (which is ought to happen at any time due to the fix in the intel security bug) all updates will make quantum package unusable... I will not have quantum package on my laptop for a while and hold off updating linux on other machines.. please keep us informed on the developments!

Do you know if there is a way to downgrade the version of glibc?

On Fri, Jan 19, 2018 at 9:30 AM, Thomas Applencourt < notifications@github.com> wrote:

Anouar, You may try opam remove core, opam install core 0.9.1 . Dummo if it's work with the newest ocaml version.

On Fri, Jan 19, 2018 at 8:46 AM, Anthony Scemama <notifications@github.com

wrote:

Argh! Core is not a native OCaml library, but a library developed by Janestreet. They have done a lot of changes between Core 0.9.1 and 0.10 which are not backwards compatible. I made a mistake choosing to rely on core.... so I am slowly trying to remove it. In the meantime, i pinned the 0.9.1 version which worked fine. It will take some time to fix.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/LCPQ/quantum_package/issues/227# issuecomment-358985337, or mute the thread https://github.com/notifications/unsubscribe-auth/ AGOP62lMH93zwzUBhyHFxKKeDLyyl1XCks5tMKqrgaJpZM4Rj0RR

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/LCPQ/quantum_package/issues/227#issuecomment-358998167, or mute the thread https://github.com/notifications/unsubscribe-auth/AXl6w1g1sJ7Krsr1wBK1OYqglInljSDaks5tMLT6gaJpZM4Rj0RR .

--

Anouar Benali, PhD Leadership Computing Facility Argonne National Laboratory Building 240 Office - 2127 9700 S Cass Av., Argonne Il, 60439 (630) 252-0058

[TApplencourt]

Let say it's fixed 🤞