diff options
| -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 805f804a..21e9072 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} |
