diff options
author | Pietro Cerutti <gahr@FreeBSD.org> | 2012-12-18 15:23:09 +0000 |
---|---|---|
committer | Pietro Cerutti <gahr@FreeBSD.org> | 2012-12-18 15:23:09 +0000 |
commit | 562b1fc181688ec13b115f68bc43788aefb9e987 (patch) | |
tree | 038345bf07687cb4c89193fa155b69ed7d5885dc /lang | |
parent | Provides common bindings for Stripe payment system. Any API calls that do not (diff) |
- Use double-precision floating point numbers
Notes
Notes:
svn path=/head/; revision=309190
Diffstat (limited to 'lang')
-rw-r--r-- | lang/seed7/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile index a34620d0ef46..d41e432ce50f 100644 --- a/lang/seed7/Makefile +++ b/lang/seed7/Makefile @@ -41,6 +41,7 @@ BROKEN= does not compile post-patch: ${REINPLACE_CMD} -e 's|%%LOCALBASE%%|${LOCALBASE}|g;' ${WRKSRC}/makefile + ${REINPLACE_CMD} -e '/FLOATTYPE_DOUBLE/s|undef|define|' ${WRKSRC}/config.h ${REINPLACE_CMD} -i '' -e 's|./hi|${PREFIX}/bin/hi|g' ${WRKSRC}/../prg/chk_all.sd7 do-install: |