Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix a vicious bug: TCP socket use a buffer and read operation get as much data as...
[simgrid.git] / src / Makefile.am
index e960799..9ee0c15 100644 (file)
@@ -59,7 +59,7 @@ EXTRA_DIST= \
        gras/Virtu/virtu_rl.h                 gras/Virtu/virtu_sg.h \
        gras/DataDesc/ddt_parse.yy.l          gras/DataDesc/ddt_parse.yy.c \
        \
-       amok/Bandwidth/bandwidth_private.h
+       amok/Bandwidth/bandwidth_private.h \
        amok/amok_modinter.h
 
 #        gras_private.h
@@ -262,14 +262,14 @@ xbt/graphxml.c: xbt/graphxml.l
 
 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
-       set -e;                flexml            -P surfxml -H $@ -L $^
+       set -e;                flexml            -P surfxml --sysid=surfxml.dtd -H $@ -L $^
        
 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
-       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