diff options
Diffstat (limited to '')
| -rw-r--r-- | math/cvc3/files/patch-src-Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
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 |