does not build stblibs

[treinen]

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]

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]

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/