diff options
| author | Andreas Klemm <andreas@FreeBSD.org> | 1997-08-17 21:24:06 +0000 |
|---|---|---|
| committer | Andreas Klemm <andreas@FreeBSD.org> | 1997-08-17 21:24:06 +0000 |
| commit | 91234c796651772f8d0801fdfc2f266a6a1990b0 (patch) | |
| tree | 2d9ea975cc4d1ec6126dfc70bd42596dbd14c723 /gnu/lib | |
| parent | ce8a01541244874c5f79eb021cea11582757302d (diff) | |
Notes
Diffstat (limited to 'gnu/lib')
| -rw-r--r-- | gnu/lib/libgmp/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/lib/libgmp/Makefile b/gnu/lib/libgmp/Makefile index 805f804aeb88..21e90728397b 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.10 1997/02/22 15:42:57 peter Exp $ +# $Id: Makefile,v 1.11 1997/04/10 16:33:22 bde Exp $ # LIB= gmp @@ -91,6 +91,8 @@ CLEANDIRS+= ${.OBJDIR}/mpz ${.CURDIR}/mpz \ beforeinstall: ${INSTALL} -C -o ${BINOWN} -g ${BINGRP} -m 444 \ ${GMPDIR}/gmp.h ${DESTDIR}/usr/include + ${INSTALL} -C -o ${BINOWN} -g ${BINGRP} -m 444 \ + ${GMPDIR}/mp.h ${DESTDIR}/usr/include .S.o: ${CC} ${SFLAGS} ${CFLAGS:M-[ID]*} ${AINC} -c ${.IMPSRC} -o ${.TARGET} |