Skip to content

Commit

Permalink
Update Makefile.gappkg to latest
Browse files Browse the repository at this point in the history
Als remove doc/clean as it is no longer used
  • Loading branch information
fingolfin committed Jan 22, 2024
1 parent eb46ba8 commit 10a7bef
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 13 deletions.
13 changes: 4 additions & 9 deletions Makefile.gappkg
Original file line number Diff line number Diff line change
Expand Up @@ -17,13 +17,6 @@
# KEXT_USE_AUTOCONF to 1 to enable dependency rules that enable
# regenerating the configure script etc. when necessary
#
# Only GAP >= 4.11 ships with this file. In order to keep your package
# compatible with older GAP versions, we recommend to bundle a copy of
# it with your package, but only as a fallback. So, your configure
# scripts should check if GAP ships with this file, and use it then, and
# only fall back to your own copy as a last resort. This way, you will
# benefit from any fixes and improvements made by the GAP team.
#
# The contents of this file are released into the public domain; hence
# you may edit this file as you wish, bundle and distribute it with your
# package, etc.
Expand All @@ -46,7 +39,7 @@ ifndef GAP_KERNEL_MAJOR_VERSION
KEXT_CXXFLAGS += -I$(GAP_LIB_DIR)/src
endif

# honor used supplied flags
# honor user supplied flags
KEXT_CFLAGS += $(CPPFLAGS)
KEXT_CFLAGS += $(CFLAGS)
KEXT_CXXFLAGS += $(CPPFLAGS)
Expand Down Expand Up @@ -151,7 +144,9 @@ clean-kext:
distclean: distclean-kext
distclean-kext:
rm -rf bin gen Makefile
(cd doc && ./clean)
rm -rf doc/_*.xml
rm -rf doc/*.aux doc/*.bbl doc/*.blg doc/*.brf doc/*.idx doc/*.idx
rm -rf doc/*.ilg doc/*.ind doc/*.log doc/*.out doc/*.pnr doc/*.toc

# hook into `make doc`
doc: doc-kext
Expand Down
4 changes: 0 additions & 4 deletions doc/clean

This file was deleted.

0 comments on commit 10a7bef

Please sign in to comment.