search

colis-anr / morbig

A static parser for POSIX Shell
Other
190 stars 8 forks source link

does not build stblibs #72

Open treinen opened 5 years ago

treinen commented 5 years ago

morbig 0.10.3 on a native architecture (amd64) does no longer build /usr/lib/stublibs as it was the case with earlier versions. Nor does it build /usr/lib/morbig/stublibs, for that matter.

Niols commented 5 years ago

I just tried on my laptop (amd64) make && make install on all the tags that we have to see whether we were installing something in /usr/lib/stublibs or not:

Tag Stublibs?
v0.9 No
v0.9.1 No
0.10 Yes
0.10.1 Yes
0.10.2 Yes
0.10.3 No

We did build and install them between 0.10 and 0.10.2 but that was me failing to reproduce v0.9.1's behaviour where we wouldn't install them.

Do you think we need them?

treinen commented 5 years ago

On Sun, Mar 10, 2019 at 01:47:57AM -0800, Nicolas Jeannerod wrote:

I just tried on my laptop (amd64) make && make install on all the tags that we have to see whether we were installing something in /usr/lib/stublibs or not:

Tag Stublibs?
v0.9 No
v0.9.1 No
0.10 Yes
0.10.1 Yes
0.10.2 Yes
0.10.3 No

We did build and install them between 0.10 and 0.10.2 but that was me failing to reproduce v0.9.1's behaviour where we wouldn't install them.

thanks for the investigation, this explains why the debian source package contained the code to dispatch them into the *-dev package.

Do you think we need them?

it seems they are not needed for using the ocaml api or the C api, at least all my tests run fine without it AFAIKS. So maybe the answer is no, we do not need it.

@yurug, what do you think?

-Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.irif.fr/~treinen/