[MacPorts] #67972: fstar @2022.06.08: /bin/sh: line 0: [: 06 shift/reduce conflicts.: integer expression expected

MacPorts noreply at macports.org
Wed Aug 16 07:30:14 UTC 2023


#67972: fstar @2022.06.08: /bin/sh: line 0: [: 06 shift/reduce conflicts.: integer
expression expected
------------------------+----------------------
 Reporter:  ryandesign  |      Owner:  landonf
     Type:  defect      |     Status:  assigned
 Priority:  Normal      |  Milestone:
Component:  ports       |    Version:  2.8.1
 Keywords:              |       Port:  fstar
------------------------+----------------------
 fstar doesn't seem to build anywhere anymore, e.g.:

 https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/151893/steps
 /install-port/logs/stdio

 {{{
 [MENHIR PREPROCESS]
 /opt/local/bin/gmake -C ../../ulib/ml/ intfiles
 [MAKE FStar_Version.ml]
 gmake[2]: Entering directory
 '/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work
 /FStar-34320b047539629c53debda640c50b97d6e556fd/ulib/ml'
 gmake[2]: Leaving directory
 '/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work
 /FStar-34320b047539629c53debda640c50b97d6e556fd/ulib/ml'
 [OCAMLYACC]
 6 shift/reduce conflicts.
 /bin/sh: line 0: [: 06 shift/reduce conflicts.: integer expression
 expected
 [OCAMLBUILD]
 ocamlfind ocamldep -package stdint -package compiler-libs -package
 compiler-libs.common -package menhirLib -package dynlink -package pprint
 -package sedlex -package yojson -package ppxlib -package process -package
 batteries -package zarith -package ppx_deriving.std -package
 ppx_deriving_yojson -modules src/fstar/ml/main.ml >
 src/fstar/ml/main.ml.depends
 + ocamlfind ocamldep -package stdint -package compiler-libs -package
 compiler-libs.common -package menhirLib -package dynlink -package pprint
 -package sedlex -package yojson -package ppxlib -package process -package
 batteries -package zarith -package ppx_deriving.std -package
 ppx_deriving_yojson -modules src/fstar/ml/main.ml >
 src/fstar/ml/main.ml.depends
 (Failure "Ast_mapper: OCaml version mismatch or malformed input")
 File "src/fstar/ml/main.ml", line 1:
 Error: Error while running external preprocessor
 Command line: /opt/local/lib/ocaml/site-lib/ppx_deriving/./ppx_deriving
 package:ppx_deriving.std package:ppx_deriving_yojson
 '/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work/.tmp/camlppxccb7f1'
 '/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work/.tmp/camlppx96cfcd'

 Command exited with code 2.
 gmake[1]: *** [Makefile:86: _build/src/fstar/ml/main.native] Error 10
 gmake[1]: Leaving directory
 '/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work
 /FStar-34320b047539629c53debda640c50b97d6e556fd/src/ocaml-output'
 gmake: *** [Makefile:6: all] Error 2
 gmake: Leaving directory
 '/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work
 /FStar-34320b047539629c53debda640c50b97d6e556fd'
 Command failed:  cd
 "/opt/local/var/macports/build/_opt_bblocal_var_buildworker_ports_build_ports_lang_fstar/fstar/work
 /FStar-34320b047539629c53debda640c50b97d6e556fd" && /opt/local/bin/gmake
 -j8 -w all
 Exit code: 2
 }}}

 The problem seems to be this regular expression in src/ocaml-
 output/Makefile:

 {{{
         @if [ "0$$(grep "shift/reduce" yac-log | sed
 's/^\([0-9]\+\).*/\1/')" -gt 6 ]; then \
 }}}

 It works with GNU sed but not with BSD sed.

 This woould work in both versions of sed:

 {{{
         @if [ "0$$(grep "shift/reduce" yac-log | sed
 's/^\([0-9]\{1,\}\).*/\1/')" -gt 6 ]; then \
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/67972>
MacPorts <https://www.macports.org/>
Ports system for macOS


More information about the macports-tickets mailing list