diff options
author | joerg <joerg@pkgsrc.org> | 2007-12-21 17:02:53 +0000 |
---|---|---|
committer | joerg <joerg@pkgsrc.org> | 2007-12-21 17:02:53 +0000 |
commit | e1b6509e3cf1d504932b233c0fa9c1d775cf836f (patch) | |
tree | 854768e6590fcdb55a49605f55ec863d58b12331 /lang | |
parent | 96f6d8216c7bd7bbf675c238aae9fa4162736ae6 (diff) | |
download | pkgsrc-e1b6509e3cf1d504932b233c0fa9c1d775cf836f.tar.gz |
Include stub libraries on Linux as well. From PR 37584.
Diffstat (limited to 'lang')
-rw-r--r-- | lang/ocaml/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 9eae205841f..3c8b5cb4542 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.56 2007/11/03 22:38:12 rillig Exp $ +# $NetBSD: Makefile,v 1.57 2007/12/21 17:02:53 joerg Exp $ .include "Makefile.common" @@ -14,7 +14,8 @@ MAKE_JOBS_SAFE= no # Stub libraries for functions missing from base system. .if !empty(MACHINE_PLATFORM:MDarwin-*-powerpc) || ${OPSYS} == "DragonFly" || \ - ${OPSYS} == "NetBSD" || ${OPSYS} == "FreeBSD" || ${OPSYS} == "SunOS" + ${OPSYS} == "NetBSD" || ${OPSYS} == "FreeBSD" || ${OPSYS} == "SunOS" || \ + ${OPSYS} == "Linux" PLIST_SRC+= ${PKGDIR}/PLIST.stub .endif |