| commit | 0020dd6f1b5992f30f6755a2a7a756098275feb6 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sat, 20 Aug 2022 07:49:40 +0000 (20 09:49 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 1 May 2023 08:49:28 +0000 (1 10:49 +0200) | ||
| tree | 89c3d2a30d301929c0834af0acc569e07d54ed0d | treesnapshot (tar.gz zip) |
| parent | 315d90acfb6ac8e41f06a2eb36a87722df688c0a | commitdiff |
remove selection of default specialization
Ever since barvinok-0.21-122-g2f7cca5df (optionc.c: move choice of
which specialization to use to barvinok_options,
Thu Sep 21 14:30:59 2006 +0200), the type of specialization
selected at configure time only determines the default specialization.
Since the actual choice of specialization type can be set at run time,
there is little point in being able to set this default
at configure time.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Ever since barvinok-0.21-122-g2f7cca5df (optionc.c: move choice of
which specialization to use to barvinok_options,
Thu Sep 21 14:30:59 2006 +0200), the type of specialization
selected at configure time only determines the default specialization.
Since the actual choice of specialization type can be set at run time,
there is little point in being able to set this default
at configure time.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| configure.ac | diffblobblamehistory | |
| doc/Internal.tex | diffblobblamehistory | |
| options.c | diffblobblamehistory | |
| version.c | diffblobblamehistory |