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

[MacPorts]

#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
Resolution:              |   Keywords:
      Port:  fstar       |
-------------------------+----------------------
Description changed by ryandesign:

Old description:

> 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 \
> }}}

New description:

 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 would 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#comment:1>
MacPorts <https://www.macports.org/>
Ports system for macOS