Merge branch 'pr/146' into trunk

Makefile.common

@@ -61,7 +61,8 @@ PLUGINS:=\
   omega		romega 		micromega 	quote \
   setoid_ring 	extraction 	fourier \
   cc 		funind 		firstorder 	derive \
-  rtauto 	nsatz           syntax          decl_mode	btauto
+  rtauto 	nsatz           syntax          decl_mode	btauto \
+  ssrmatching
 
 SRCDIRS:=\
   $(CORESRCDIRS)  \
@@ -119,13 +120,14 @@ OTHERSYNTAXCMA:=$(addprefix plugins/syntax/, \
         string_syntax_plugin.cmo )
 DECLMODECMA:=plugins/decl_mode/decl_mode_plugin.cmo
 DERIVECMA:=plugins/derive/derive_plugin.cmo
+SSRMATCHINGCMA:=plugins/ssrmatching/ssrmatching.cmo
 
 PLUGINSCMA:=$(OMEGACMA) $(ROMEGACMA) $(MICROMEGACMA) $(DECLMODECMA) \
         $(QUOTECMA) $(RINGCMA) \
         $(FOURIERCMA) $(EXTRACTIONCMA) \
         $(CCCMA)  $(FOCMA) $(RTAUTOCMA) $(BTAUTOCMA) \
         $(FUNINDCMA) $(NSATZCMA) $(NATSYNTAXCMA) $(OTHERSYNTAXCMA) \
-	$(DERIVECMA)
+	$(DERIVECMA) $(SSRMATCHINGCMA)
 
 ifneq ($(HASNATDYNLINK),false)
  STATICPLUGINS:=