summaryrefslogtreecommitdiffstats
path: root/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am9
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am
index a41d194..94e0926 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -59,4 +59,13 @@ extras:
extrasstatic:
$(MAKE) LDFLAGS="$(LDFLAGS) -static" LIBS="$(PTHREAD_LIBS) $(LIBS)" CFLAGS="$(PTHREAD_CFLAGS) $(CFLAGS)" CXXFLAGS="$(PTHREAD_CFLAGS) $(CXXFLAGS)" extras
+session_%.framac:
+ (cd src && $(MAKE) $@) || exit 1;
+
+frama-c-%:
+ (cd src && $(MAKE) $@) || exit 1;
+
+cppcheck:
+ cppcheck --quiet --enable=all -DHAVE_CONFIG_H -I$(builddir) -I/usr/include $(srcdir)/src
+
DISTCLEANFILES = *~ core