1717# KEXT_USE_AUTOCONF to 1 to enable dependency rules that enable
1818# regenerating the configure script etc. when necessary
1919#
20- # Only GAP >= 4.11 ships with this file. In order to keep your package
21- # compatible with older GAP versions, we recommend to bundle a copy of
22- # it with your package, but only as a fallback. So, your configure
23- # scripts should check if GAP ships with this file, and use it then, and
24- # only fall back to your own copy as a last resort. This way, you will
25- # benefit from any fixes and improvements made by the GAP team.
26- #
2720# The contents of this file are released into the public domain; hence
2821# you may edit this file as you wish, bundle and distribute it with your
2922# package, etc.
@@ -46,7 +39,7 @@ ifndef GAP_KERNEL_MAJOR_VERSION
4639 KEXT_CXXFLAGS += -I$(GAP_LIB_DIR)/src
4740endif
4841
49- # honor used supplied flags
42+ # honor user supplied flags
5043KEXT_CFLAGS += $(CPPFLAGS)
5144KEXT_CFLAGS += $(CFLAGS)
5245KEXT_CXXFLAGS += $(CPPFLAGS)
@@ -151,12 +144,14 @@ clean-kext:
151144distclean: distclean-kext
152145distclean-kext:
153146 rm -rf bin gen Makefile
154- (cd doc && ./clean)
147+ rm -rf doc/_*.xml
148+ rm -rf doc/*.aux doc/*.bbl doc/*.blg doc/*.brf doc/*.idx doc/*.idx
149+ rm -rf doc/*.ilg doc/*.ind doc/*.log doc/*.out doc/*.pnr doc/*.toc
155150
156151# hook into `make doc`
157152doc: doc-kext
158153doc-kext:
159- $(GAP) makedoc.g
154+ $(GAP) --quitonbreak -b -q < makedoc.g
160155
161156# hook into `make check`
162157check: check-kext
@@ -193,14 +188,14 @@ gen/pkgconfig.h: gen/pkgconfig.h.stamp
193188 @if test ! -f $@; then rm -f $<; else :; fi
194189 @if test ! -f $@; then $(MAKE) $<; else :; fi
195190
196- gen/pkgconfig.h.stamp: gen /pkgconfig.h.in config.status
191+ gen/pkgconfig.h.stamp: src /pkgconfig.h.in config.status
197192 @rm -f $@
198193 @mkdir -p $(@D)
199194 ./config.status gen/pkgconfig.h
200195 echo > $@
201196
202197ifneq ($(MAINTAINER_MODE),no)
203- gen /pkgconfig.h.in: $(configure_deps)
198+ src /pkgconfig.h.in: $(configure_deps)
204199 @if command -v autoheader >/dev/null 2>&1 ; then \
205200 mkdir -p $(@D) ; \
206201 echo "running autoheader" ; \
0 commit comments