Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Get the flexml rules right
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 19 Jul 2006 19:02:04 +0000 (19:02 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 19 Jul 2006 19:02:04 +0000 (19:02 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2643 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/Makefile.am

index 883984c..9ee0c15 100644 (file)
@@ -262,14 +262,14 @@ xbt/graphxml.c: xbt/graphxml.l
 
 if HAVE_FLEXML
 surf/surfxml.l: $(srcdir)/surf/surfxml.dtd
 
 if HAVE_FLEXML
 surf/surfxml.l: $(srcdir)/surf/surfxml.dtd
-       set -e; mkdir -p surf; flexml -b 1000000 -P surfxml -S $@ -L $^
+       set -e; mkdir -p surf; flexml -b 1000000 -P surfxml --sysid=surfxml.dtd -S $@ -L $^
 $(top_srcdir)/include/surf/surfxml.h: $(srcdir)/surf/surfxml.dtd
 $(top_srcdir)/include/surf/surfxml.h: $(srcdir)/surf/surfxml.dtd
-       set -e;                flexml            -P surfxml -H $@ -L $^
+       set -e;                flexml            -P surfxml --sysid=surfxml.dtd -H $@ -L $^
        
 xbt/graphxml.l: $(srcdir)/xbt/graphxml.dtd
        
 xbt/graphxml.l: $(srcdir)/xbt/graphxml.dtd
-       set -e; flexml -b 1000000 -P graphxml -S $@ -L $^
+       set -e; flexml -b 1000000 -P graphxml --sysid=graphxml.dtd -S $@ -L $^
 $(top_srcdir)/include/xbt/graphxml.h: $(srcdir)/xbt/graphxml.dtd
 $(top_srcdir)/include/xbt/graphxml.h: $(srcdir)/xbt/graphxml.dtd
-       set -e; flexml -P graphxml -H $@ -L $^
+       set -e; flexml            -P graphxml --sysid=graphxml.dtd -H $@ -L $^
 else
 
 $(top_srcdir)/include/surf/surfxml.h surf/surfxml.l: $(top_srcdir)/src/surf/surfxml.dtd
 else
 
 $(top_srcdir)/include/surf/surfxml.h surf/surfxml.l: $(top_srcdir)/src/surf/surfxml.dtd