diff options
Diffstat (limited to 'lang/ocaml/Makefile')
| -rw-r--r-- | lang/ocaml/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 74f2936da1e..b41e069207c 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.119 2018/04/04 09:34:46 jaapb Exp $ +# $NetBSD: Makefile,v 1.120 2018/07/19 12:16:38 jaapb Exp $ .include "Makefile.common" @@ -8,6 +8,8 @@ BUILD_TARGET= world MAKE_JOBS_SAFE= no UNLIMIT_RESOURCES= stacksize +USE_TOOLS+= bash + USE_GCC_RUNTIME= yes PLIST_VARS+= ocaml-stub ocaml-prof ocaml-opt ocaml-nat ocaml-spacetime @@ -78,6 +80,9 @@ EXTRA_RT_LIBS.*= PRINT_PLIST_AWK+= { gsub(/lib\/ocaml\/${PKGMANDIR:S|/|\\/|}/, "lib/ocaml/$${PKGMANDIR}"); } +REPLACE_BASH+= tools/ocaml-instr-graph +REPLACE_AWK+= tools/ocaml-instr-report + do-test: cd ${WRKSRC}/testsuite && ${MAKE_PROGRAM} all |