diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-23 07:31:06 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-08-23 07:31:06 +0000 |
commit | 942cbae7f90a4fa0d5e1b3ccb19aa6613b98475a (patch) | |
tree | 9968f9c357a9544af6800a8d466fbcf312e1a128 /src/Makefile.am | |
parent | e0f9f7f434195a92eb887eea781910e328eb4107 (diff) | |
download | mpfr-942cbae7f90a4fa0d5e1b3ccb19aa6613b98475a.tar.gz |
added configure option --enable-formally-proven-code and corresponding code
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13011 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 9b18aa2d4..519f05be5 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -10,6 +10,7 @@ EXTRA_DIST = round_raw_generic.c jyn_asympt.c \ + add1sp1_extracted.c mul_1_extracted.c \ amd/mparam.h arm/mparam.h \ generic/coverage/mparam.h generic/mparam.h \ mips/mparam.h powerpc64/mparam.h sparc64/mparam.h \ |