diff options
Diffstat (limited to '')
| -rw-r--r-- | math/cvc3/Makefile | 4 | ||||
| -rw-r--r-- | math/cvc3/files/patch-src-Makefile | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/math/cvc3/Makefile b/math/cvc3/Makefile index 4c880d87b656..712c33b3e4bb 100644 --- a/math/cvc3/Makefile +++ b/math/cvc3/Makefile @@ -18,14 +18,14 @@ CONFIGURE_ARGS= --enable-dynamic \ --with-extra-libs=${LOCALBASE}/lib CXXFLAGS+= -fPIC GNU_CONFIGURE= yes -USES= bison gmake perl5 +USES= bison gmake pathfix perl5 +PATHFIX_MAKEFILEIN= Makefile USE_GCC= any USE_LDCONFIG= yes post-patch: ${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/Makefile.std ${REINPLACE_CMD} -e 's,.*$$(LDCONFIG).*,,' ${WRKSRC}/src/Makefile - ${REINPLACE_CMD} -e 's,$$(libdir)/pkgconfig,${PREFIX}/libdata/pkgconfig,' ${WRKSRC}/src/Makefile post-install: ${INSTALL_PROGRAM} `readlink ${WRKSRC}/bin/cvc3` ${STAGEDIR}${PREFIX}/bin diff --git a/math/cvc3/files/patch-src-Makefile b/math/cvc3/files/patch-src-Makefile index 14e0cd131cee..2543b3b6cac7 100644 --- a/math/cvc3/files/patch-src-Makefile +++ b/math/cvc3/files/patch-src-Makefile @@ -32,12 +32,12 @@ endif - mkdir -p $(bindir) - $(INSTALL) $(INSTALL_FLAGS) -m 755 $(CVC_EXE) $(bindir) -- mkdir -p $(libdir)/pkgconfig -- $(INSTALL) $(INSTALL_FLAGS) -m 644 cvc3.pc $(libdir)/pkgconfig +- mkdir -p $(prefix)/libdata/pkgconfig +- $(INSTALL) $(INSTALL_FLAGS) -m 644 cvc3.pc $(prefix)/libdata/pkgconfig + mkdir -p $(DESTDIR)$(bindir) + $(INSTALL) $(INSTALL_FLAGS) -m 755 $(CVC_EXE) $(DESTDIR)$(bindir) -+ mkdir -p $(DESTDIR)$(libdir)/pkgconfig -+ $(INSTALL) $(INSTALL_FLAGS) -m 644 cvc3.pc $(DESTDIR)$(libdir)/pkgconfig ++ mkdir -p $(DESTDIR)$(prefix)/libdata/pkgconfig ++ $(INSTALL) $(INSTALL_FLAGS) -m 644 cvc3.pc $(DESTDIR)$(prefix)/libdata/pkgconfig ifndef FILELIST FILELIST = /dev/null |