diff options
| author | Ludovic Courtès | 2012-04-25 14:38:11 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2012-04-25 14:38:11 +0200 |
| commit | d9522915175fdf3d81e8a795d3705fe7aa1fa6fc (patch) | |
| tree | 60f8226658516b58fb0ffa6379f1ec638d4210dc /guile-lint.am | |
| parent | 68cc48df95f2f8e3f3fbf326aacc8426e4aac9af (diff) | |
| download | skribilo-d9522915175fdf3d81e8a795d3705fe7aa1fa6fc.tar.gz skribilo-d9522915175fdf3d81e8a795d3705fe7aa1fa6fc.tar.lz skribilo-d9522915175fdf3d81e8a795d3705fe7aa1fa6fc.zip | |
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.
Diffstat (limited to 'guile-lint.am')
| -rw-r--r-- | guile-lint.am | 25 |
1 files changed, 0 insertions, 25 deletions
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 |