CVS User Account cvsuser
Tue Jan 2 15:34:48 PST 2007
Log Message:
-----------
Add in make target for Splint for slon... 

<http://splint.org/> is a static C analysis tool that acts as an extended
version of Lint.

Modified Files:
--------------
    slony1-engine/src/slon:
        Makefile (r1.41 -> r1.42)

-------------- next part --------------
Index: Makefile
===================================================================
RCS file: /usr/local/cvsroot/slony1/slony1-engine/src/slon/Makefile,v
retrieving revision 1.41
retrieving revision 1.42
diff -Lsrc/slon/Makefile -Lsrc/slon/Makefile -u -w -r1.41 -r1.42
--- src/slon/Makefile
+++ src/slon/Makefile
@@ -12,6 +12,8 @@
 SLFILEDESC="Slony replication engine"
 include $(slony_top_builddir)/Makefile.global
 
+SFILES=$(wildcard *.c)
+SFILES2=$(filter-out snmp_thread.c, $(SFILES))
 CC = $(PTHREAD_CC)
 
 override CFLAGS += $(PTHREAD_CFLAGS) -I$(slony_top_builddir) -I$(slony_top_builddir)/$(slony_subdir)
@@ -100,7 +102,8 @@
 installdirs:
 	$(mkinstalldirs) $(DESTDIR)$(slonbindir)
 
-
+splint:
+	splint -I $(pgincludedir) -I $(pgincludeserverdir) +unixlib -preproc +skip-sys-headers $(SFILES2)
 
 distdir: $(DISTFILES)
 	mkdir $(distdir)/$(subdir)



More information about the Slony1-commit mailing list