com web/rmtools: Add config for the decimal ext: data/config/pecl/exts.ini data/config/pickle/exts.ini
| From: | Anatol Belski | Date: | Thu, 01 Nov 2018 17:26:07 +0000 |
| Subject: | com web/rmtools: Add config for the decimal ext: data/config/pecl/exts.ini data/config/pickle/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27411@lists.php.net to get a copy of this message | ||
Commit: 68c53c1f7fa3c8843ad13d5babc730f13efb94be
Author: Anatol Belski <ab@php.net> Thu, 1 Nov 2018 18:26:07 +0100
Parents: 4087c0914448ab03e0308015db5d84a7dc788153
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=68c53c1f7fa3c8843ad13d5babc730f13efb94be
Log:
Add config for the decimal ext
Changed paths:
M data/config/pecl/exts.ini
M data/config/pickle/exts.ini
Diff:
diff --git a/data/config/pecl/exts.ini b/data/config/pecl/exts.ini
index e608df3..6dc85ea 100644
--- a/data/config/pecl/exts.ini
+++ b/data/config/pecl/exts.ini
@@ -679,3 +679,7 @@ libs[]=
exts[]=
opts[]=
+[decimal]
+type=with
+libs[]=libmpdec
+
diff --git a/data/config/pickle/exts.ini b/data/config/pickle/exts.ini
index 9440d51..64479fe 100644
--- a/data/config/pickle/exts.ini
+++ b/data/config/pickle/exts.ini
@@ -686,3 +686,7 @@ libs[]=
exts[]=
opts[]=
+[decimal]
+type=with
+libs[]=libmpdec
+