diff options
Diffstat (limited to 'examples/gmp/gmp10.p5m')
| -rw-r--r-- | examples/gmp/gmp10.p5m | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/examples/gmp/gmp10.p5m b/examples/gmp/gmp10.p5m new file mode 100644 index 0000000..6ffd7ec --- /dev/null +++ b/examples/gmp/gmp10.p5m @@ -0,0 +1,11 @@ +set name=pkg.fmri value=pkg:/library/gmp10@$(ips-version) +set name=pkg.summary value="$(summary), shared library" +set name=info.upstream-url value="$(home)" +set name=info.sourcer-_url value="$(download)" +license $(license-file) license=$(license) + +file path=usr/lib/$(MACH64)/libgmp.so.10.0.5 +file path=usr/lib/libgmp.so.10.0.5 +link path=usr/lib/$(MACH64)/libgmp.so.10 target=libgmp.so.10.0.5 +link path=usr/lib/libgmp.so.10 target=libgmp.so.10.0.5 + |