Where is cilly ?

[funny-falcon]

I've installed with opam install goblint-cil, and couldn't find cilly.
What didn't I?

[sim642]

I think since switching to dune from make/ocamlbuild, the opam package doesn't install cilly into the opam switch. cilly isn't actually implemented in OCaml, but it's a set of perl scripts, so I'm not sure if at all and how it should be installed by dune into an opam switch.

Nevertheless, it does still exist in this fork, but you might have to build from this git repository. Maybe the old-style make install would install the perl script somewhere in your system, but we don't maintain that, so it might also completely break.

@stilscher Goblint's MakefileUtil does execute cilly without an absolute path, so maybe you know how it's still possible to install it from our fork?

[michael-schwarz]

Building of cilly still happens when executing the regression tests, so the build definitely still works (see the relevant part of our dune file here):

(rule
 (deps (package goblint-cil) ../src/main.exe (source_tree ../lib/perl5/App/Cilly) (source_tree ../test) ../bin/cilly ../configure.ac ../Makefile.in ../install-sh ../config.sub ../config.guess ../lib/perl5/App/Cilly.pm.in ../lib/perl5/Makefile.PL  ../config.h.in ../stamp-h.in cil.mli machdep-ml.c.in cilversion.ml.in ../config.mk.in)
 (action (chdir ..  (progn
    (run ./configure)
    (run make machdep)
    (run make lib/perl5/App/Cilly.pm)
    (chdir lib/perl5 (progn
      (run perl Makefile.PL)
      (run make)
    ))
    (run cp src/main.exe bin/cilly.native)
    (bash "mkdir -p share/cil && echo $(cd ../install/default/lib; pwd) > share/cil/ocamlpath")
    (run make test)
 )))
 (alias runtest)
)

[michael-schwarz]

@funny-falcon: Can you check if it works as expected with #102?