From d9522915175fdf3d81e8a795d3705fe7aa1fa6fc Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Wed, 25 Apr 2012 14:38:11 +0200 Subject: Remove support for `guile-lint'. * guile-lint.am: Remove. * Makefile.am (EXTRA_DIST): Remove `guile-lint.am'. * doc/modules/Makefile.am (lintable): Remove. Remove inclusion of `guile-lint.am'. * src/guile/Makefile.am: Likewise. * configure.ac: Remove check for `guile-lint' and `HAVE_GUILE_LINT' conditional. --- guile-lint.am | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 guile-lint.am (limited to 'guile-lint.am') diff --git a/guile-lint.am b/guile-lint.am deleted file mode 100644 index 5559e82..0000000 --- a/guile-lint.am +++ /dev/null @@ -1,25 +0,0 @@ -# Rules for Guile-Lint. -# See http://www.geocities.com/user42_kevin/guile-lint/index.html . - -if HAVE_GUILE_LINT - -# FIXME: Guile-Lint 9 or so always returned zero, but Guile-Lint 12 -# returns an actual status code depending on whether errors were -# encountered, which is good, except that it sometimes erroneously -# reports errors (e.g., with macros). So better ignore its exit code -# for now. - -# Note: We re-export `$GUILE' to make sure Guile-Lint uses the same -# Guile as we do, e.g., on NixOS. - -BUILT_SOURCES = stamp-lint -CLEANFILES += stamp-lint - -stamp-lint: $(lintable) - -GUILE="$(GUILE)" \ - $(GUILE_LINT) -L $(top_srcdir)/src/guile \ - -L $(top_builddir)/src/guile \ - -L $(top_srcdir)/doc/modules \ - -k $^ - touch $@ -endif -- cgit v1.2.3