1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
Description: degnulibrarianization
Wipe out GNU Portability Library support as it only brings
getopt_long which is present in glibc.
This is a GCC centric patch.
Origin: debian
Forwarded: not-needed
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2025-06-09
--- a/configure.ac
+++ b/configure.ac
@@ -6,11 +6,10 @@
AC_CONFIG_MACRO_DIR([m4])
AM_INIT_AUTOMAKE([foreign std-options])
AC_CONFIG_FILES([Makefile src/Makefile src/4ti2/Makefile
- src/groebner/Makefile src/util/Makefile
+ src/groebner/Makefile src/util/Makefile
src/ppi/Makefile src/zsolve/Makefile
src/fiber/Makefile
doc/Makefile
- lib/Makefile
m4/Makefile])
AC_CONFIG_HEADERS([src/config.h src/4ti2/4ti2_config.h])
@@ -63,8 +62,6 @@
## Using the C compiler
AC_PROG_CC
-gl_EARLY
-gl_INIT
AX_CFLAGS_WARN_ALL
--- a/Makefile.am
+++ b/Makefile.am
@@ -21,6 +21,6 @@
ACLOCAL_AMFLAGS = -I m4
-SUBDIRS = src m4 lib doc test
+SUBDIRS = src m4 doc test
EXTRA_DIST = autogen.sh TODO NEWS README.md
|
