PET not installing pet.pc pkgconfig files

15 views
Skip to first unread message

Emil Vatai

unread,
Mar 18, 2025, 9:00:50 PMMar 18
to isl Development
After running
```
./get_submodules.sh
./autogen.sh
./configure   --enable-shared  --prefix="myprefixdir"
make -j
make -j install
```
I expect to find a pet.pc (somewhere) inside myprefixdir (probably in myprefixdir/lib/pkgconfig) but there is none.

Best,
E

Emil Vatai

unread,
Mar 18, 2025, 11:34:25 PMMar 18
to isl Development
This patch seems to do the trick:

```
diff --git a/Makefile.am b/Makefile.am
index 56cb1fa..a924412 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -176,5 +176,8 @@ dist-hook: isl.py
  cp $< $(distdir)/
  echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
 
+pkgconfigdir=$(pkgconfig_libdir)
+pkgconfig_DATA = $(pkgconfig_libfile)
+
 gitversion.h: @GIT_HEAD@
  $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
```

Sven Verdoolaege

unread,
Oct 30, 2025, 5:33:14 PM (7 days ago) Oct 30
to Emil Vatai, isl Development
On Tue, Mar 18, 2025 at 08:34:25PM -0700, Emil Vatai wrote:
> This patch seems to do the trick:
>
> ```
> diff --git a/Makefile.am b/Makefile.am
> index 56cb1fa..a924412 100644
> --- a/Makefile.am
> +++ b/Makefile.am
> @@ -176,5 +176,8 @@ dist-hook: isl.py
> cp $< $(distdir)/
> echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
>
> +pkgconfigdir=$(pkgconfig_libdir)
> +pkgconfig_DATA = $(pkgconfig_libfile)
> +
> gitversion.h: @GIT_HEAD@
> $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
> ```

Hmm... sounds reasonable. I'm not sure why that wasn't done before.
Can I get/assume your sign-off?

skimo

Emil Vatai

unread,
Oct 30, 2025, 5:36:44 PM (7 days ago) Oct 30
to sven.ver...@gmail.com, isl Development
Yes please, thanks.

Best, E
Reply all
Reply to author
Forward
0 new messages