Re: devel/coccinelle failing

[Stuart Henderson]

On 2016/02/13 19:49, Michael McConville wrote:
> IIUC, we use a bundled version of Menhir in Coccinelle. It exists as the
> tarball bundles/menhirLib/menhir-20120123.tar.gz in the Coccinelle
> codebase.
> 
> Here's the relevant Makefile line:
> 
> > CONFIGURE_ARGS +=   --disable-menhirLib # version in ports is too new
> 
> However, the build fails for me because it can't find the module
> MenhirLib.IncrementalEngine. This seems related, but I'm not sure. It's
> been failing for me for weeks; maybe the fact that no one else has
> reported it means that it's something anomalous on my machine.
> 
> Has anyone else run into this? I have the Menhir package installed -
> maybe that's what triggers it.

It builds reliably in my bulks. Perhaps there is some conflict with the
version of Menhir from packages.
> 

Re: devel/coccinelle failing

[Christian Weisgerber]

On 2016-02-14, Michael McConville  wrote:

> However, the build fails for me because it can't find the module
> MenhirLib.IncrementalEngine.
>
> Has anyone else run into this?

There is no such problem in the amd64 package builds.

-- 
Christian "naddy" Weisgerber  na...@mips.inka.de

devel/coccinelle failing

[Michael McConville]

IIUC, we use a bundled version of Menhir in Coccinelle. It exists as the
tarball bundles/menhirLib/menhir-20120123.tar.gz in the Coccinelle
codebase.

Here's the relevant Makefile line:

> CONFIGURE_ARGS +=   --disable-menhirLib # version in ports is too new

However, the build fails for me because it can't find the module
MenhirLib.IncrementalEngine. This seems related, but I'm not sure. It's
been failing for me for weeks; maybe the fact that no one else has
reported it means that it's something anomalous on my machine.

Has anyone else run into this? I have the Menhir package installed -
maybe that's what triggers it.


>>> Building on localhost under devel/coccinelle
 BDEPENDS = 
[lang/ocaml-camlp4;devel/gmake;devel/ocaml-pcre;devel/ocaml-parmap;textproc/latexmk;textproc/gdiff;sysutils/ggrep;lang/ocaml;sysutils/findlib;textproc/hevea;lang/python/2.7;print/texlive/texmf,-full;print/texlive/base]
 DIST = [devel/coccinelle:coccinelle-1.0.4.tgz]
 FULLPKGNAME = coccinelle-1.0.4
 RDEPENDS = 
[devel/ocaml-parmap;devel/ocaml-pcre;lang/python/2.7;lang/ocaml;sysutils/findlib;textproc/gdiff;sysutils/ggrep]
(Junk lock obtained for localhost at 1453032007)
>>> Running depends in devel/coccinelle at 1453032007
   last junk was in devel/sdl-sound
/usr/sbin/pkg_add -aI -Dunsigned -Drepair findlib-1.5.5 gdiff-3.3p0 ggrep-2.22 
hevea-2.23 latexmk-443ap0 ocaml-4.02.3 ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 
ocaml-pcre-7.1.5 texlive_base-2014p1 texlive_texmf-full-2014p0
was: /usr/sbin/pkg_add -aI -Dunsigned -Drepair findlib-1.5.5 gdiff-3.3p0 
ggrep-2.22 gmake-4.1p0 hevea-2.23 latexmk-443ap0 ocaml-4.02.3 
ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 ocaml-pcre-7.1.5 python-2.7.11 
texlive_base-2014p1 texlive_texmf-full-2014p0
/usr/sbin/pkg_add -aI -Dunsigned -Drepair findlib-1.5.5 gdiff-3.3p0 ggrep-2.22 
hevea-2.23 latexmk-443ap0 ocaml-4.02.3 ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 
ocaml-pcre-7.1.5 texlive_base-2014p1 texlive_texmf-full-2014p0
--- +hevea-2.23 ---
The imagen script needs LaTeX, dvips, ghostscript and tools from netpbm.

Thus, Hevea does not require texlive, ghostscript, nor netpbm, but its
full functionality can only be achieved if you install those packages.
>>> Running show-prepare-results in devel/coccinelle at 1453032016
===> devel/coccinelle
===> coccinelle-1.0.4 depends on: ocaml-parmap-* -> ocaml-parmap-1.0rc7
===> coccinelle-1.0.4 depends on: ocaml-pcre-* -> ocaml-pcre-7.1.5
===> coccinelle-1.0.4 depends on: findlib-* -> findlib-1.5.5
===> coccinelle-1.0.4 depends on: ggrep-* -> ggrep-2.22
===> coccinelle-1.0.4 depends on: gdiff-* -> gdiff-3.3p0
===> coccinelle-1.0.4 depends on: ocaml-=4.02.3 -> ocaml-4.02.3
===> coccinelle-1.0.4 depends on: python->=2.7,<2.8 -> python-2.7.11
===> coccinelle-1.0.4 depends on: ocaml-camlp4-=4.02+6 -> ocaml-camlp4-4.02+6
===> coccinelle-1.0.4 depends on: texlive_base-* -> texlive_base-2014p1
===> coccinelle-1.0.4 depends on: texlive_texmf-full-* -> 
texlive_texmf-full-2014p0
===> coccinelle-1.0.4 depends on: hevea-* -> hevea-2.23
===> coccinelle-1.0.4 depends on: latexmk-* -> latexmk-443ap0
===> coccinelle-1.0.4 depends on: gmake-* -> gmake-4.1p0
===>  Verifying specs:  c curses m pthread util pcre python2.7
===>  found c.84.2 curses.14.0 m.9.0 pthread.20.1 util.12.1 pcre.3.0 
python2.7.0.0
findlib-1.5.5
gdiff-3.3p0
ggrep-2.22
gmake-4.1p0
hevea-2.23
latexmk-443ap0
ocaml-4.02.3
ocaml-camlp4-4.02+6
ocaml-parmap-1.0rc7
ocaml-pcre-7.1.5
python-2.7.11
texlive_base-2014p1
texlive_texmf-full-2014p0
Still tainted: 1
>>> Running junk in devel/coccinelle at 1453032019
Can't run junk because of lock on x11/qt5
(Junk lock released for localhost at 1453032019)
distfiles size=2484218
>>> Running patch in devel/coccinelle at 1453032019
===> devel/coccinelle
===>  Checking files for coccinelle-1.0.4
`/mnt/big/ports/distfiles/coccinelle-1.0.4.tgz' is up to date.
===>  Extracting for coccinelle-1.0.4
===>  Patching for coccinelle-1.0.4
>>> Running configure in devel/coccinelle at 1453032020
===> devel/coccinelle
===>  Configuring for coccinelle-1.0.4
Using /home/dpb-wrk/coccinelle-1.0.4/config.site (generated)
perl -pi -e s,/usr/local,/usr/local,g 
/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/scripts/spatch*
configure: WARNING: unrecognized options: --disable-gtk-doc
configure: loading site script /home/dpb-wrk/coccinelle-1.0.4/config.site
configure: configuring coccinelle 1.0.4 in 
/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4
checking for a BSD-compatible install... 
/home/dpb-wrk/coccinelle-1.0.4/bin/install -c 
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... mkdir -p
checking for gawk... (cached) awk
checking whether gmake sets $(MAKE)... yes
checking whether gmake supports nested variables... yes
configure: determining version suffix
checking for date... /bin/date
configure: version suffix set to Sun, 17 Jan 2016 07:00:21 -0500
configure: this configure program uses pkg-config m4 macros