simonalford42
commented
2 years ago I don't think it's an issue with GLIBC. Did you compile the ocaml before running? See https://github.com/ellisk42/ec#building-the-ocaml-binaries.
Closed Seondong closed 2 years ago
simonalford42
commented
2 years ago I don't think it's an issue with GLIBC. Did you compile the ocaml before running? See https://github.com/ellisk42/ec#building-the-ocaml-binaries.
Seondong
commented
2 years ago @simonalford42 Which version of JBuilder or dune did you use to compile ocaml? Building with dune 3.1 requires lots of errors to handle.
simonalford42
commented
2 years ago We used whatever came with the singularity image from the DreamCoder repo... are you using Singularity?
Seondong
commented
2 years ago @simonalford42
Yes, I observed the same JSONDecodeError, while running the same code in Singularity.
Following your instruction, I tried to recompile the ocaml, make clean and make. But, I am failing to rebuild them.
The error message is as follows, facing the same situation with this post.
Error: the code back-end requires the type of every nonterminal symbol to be
known. Please specify the type of every symbol via %type declarations, or
enable type inference (look up --infer in the manual).
Type inference is automatically enabled when Menhir is used via Dune,
provided the dune-project file says (using menhir 2.0) or later.
The types of the following nonterminal symbols are unknown:
...Any help appreciated!
Singularity> make clean
cd solvers && jbuilder clean
rm -f solver
rm -f compression
rm -f helmholtz
rm -f logoDrawString
rm -f data/geom/logoDrawStringSingularity> make
rm -f data/geom/logoDrawString
cd solvers && \
jbuilder build solver.exe && \
jbuilder build versionDemo.exe && \
jbuilder build helmholtz.exe && \
jbuilder build logoDrawString.exe && \
jbuilder build protonet-tester.exe && \
jbuilder build compression.exe && \
jbuilder build evolution.exe && \
cp _build/default/compression.exe ../compression && \
cp _build/default/versionDemo.exe ../versionDemo && \
cp _build/default/evolution.exe ../evolution && \
cp _build/default/solver.exe ../solver && \
cp _build/default/helmholtz.exe ../helmholtz && \
cp _build/default/protonet-tester.exe ../protonet-tester && \
cp _build/default/logoDrawString.exe \
../logoDrawString # && \
# ln -s ../../logoDrawString \
# ../data/geom/logoDrawString
menhir geomLib/geomParser.{ml,mli} (exit 1)
(cd _build/default/geomLib && /container/.opam/4.06.1+flambda/bin/menhir geomParser.mly)
Warning: 4 states have shift/reduce conflicts.
Warning: 4 shift/reduce conflicts were arbitrarily resolved.
Error: the code back-end requires the type of every nonterminal symbol to be
known. Please specify the type of every symbol via %type declarations, or
enable type inference (look up --infer in the manual).
Type inference is automatically enabled when Menhir is used via Dune,
provided the dune-project file says (using menhir 2.0) or later.
The types of the following nonterminal symbols are unknown:
expr
integrate
optional_comma
optional_integrate_accel
optional_integrate_angularAccel
optional_integrate_angularSpeed
optional_integrate_args
optional_integrate_d
optional_integrate_pen
optional_integrate_speed
optional_repeat_args
optional_turn_args
repeat
turn
value
menhir geomLib/lambdaParser.{ml,mli} (exit 1)
(cd _build/default/geomLib && /container/.opam/4.06.1+flambda/bin/menhir lambdaParser.mly)
Error: the code back-end requires the type of every nonterminal symbol to be
known. Please specify the type of every symbol via %type declarations, or
enable type inference (look up --infer in the manual).
Type inference is automatically enabled when Menhir is used via Dune,
provided the dune-project file says (using menhir 2.0) or later.
The types of the following nonterminal symbols are unknown:
expr
someb
somev
var
ocamlc logoLib/.logoLib.objs/logoLib__VGWrapper.{cmi,cmo,cmt}
File "logoLib/VGWrapper.ml", line 23, characters 13-15:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 26, characters 37-39:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 26, characters 12-14:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 28, characters 37-39:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 28, characters 12-14:
Warning 3: deprecated: Vg.>>
Use |> instead.
ocamlopt logoLib/.logoLib.objs/logoLib__VGWrapper.{cmx,o}
File "logoLib/VGWrapper.ml", line 23, characters 13-15:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 26, characters 37-39:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 26, characters 12-14:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 28, characters 37-39:
Warning 3: deprecated: Vg.>>
Use |> instead.
File "logoLib/VGWrapper.ml", line 28, characters 12-14:
Warning 3: deprecated: Vg.>>
Use |> instead.
ppx logoTest.pp.ml
File "logoTest.ml", line 67, characters 4-7:
Warning 1: this is the start of a comment.
File "logoTest.ml", line 79, characters 8-11:
Warning 1: this is the start of a comment.
File "logoTest.ml", line 80, characters 4-7:
Warning 1: this is the start of a comment.
File "logoTest.ml", line 86, characters 4-7:
Warning 1: this is the start of a comment.
make: *** [Makefile:3: all] Error 1
Singularity>It is somehow working now
Is DreamCoder only run on the recent GLIBC version? (2.28 or 2.29?) The compression part seems to require GLIBC_2.28 or above. Most forum articles do not suggest updating glibc, so I would like to maintain the environment. Is this compatibility issue stemming from ocaml? Any workaround can you suggest?
Setup
ec/dreamcoder/../compressionIn our setup, we observed the GLIBC version issue as below.