- @echo "ERROR: src/xbt/graphxml.dtd was modified, but the flexml program was not detected"
- @echo "ERROR: Please install it, or if you didn't modify this file, try this:"
- @echo "ERROR: touch include/xbt/graphxml.h src/xbt/graphxml.l"
- @exit 1
-simdag/dax_dtd.h simdag/dax_dtd.l: simdag/dax_dtd.dtd
- @echo "ERROR: src/simdag/dax.dtd was modified, but the flexml program was not detected"
- @echo "ERROR: Please install it, or if you didn't modify this file, try this:"
- @echo "ERROR: touch src/simdag/dax_dtd.h src/simdag/dax_dtd.l"
- @exit 1
+ @echo "WARNING: src/xbt/graphxml.dtd seem to be modified, but the flexml program was not detected"
+ @echo "WARNING: Please install it if you did modify this file."
+ @echo "WARNING: For now, I'll ignore the change"
+ touch $(top_srcdir)/include/xbt/graphxml.h $(top_srcdir)/src/xbt/graphxml.l"
+simdag/dax_dtd.h simdag/dax_dtd.l: simdag/dax.dtd
+ @echo "WARNING: src/simdag/dax.dtd seem to be modified, but the flexml program was not detected"
+ @echo "WARNING: Please install it if you did modify this file."
+ @echo "WARNING: For now, I'll ignore the change"
+ touch $(top_srcdir)/src/simdag/dax_dtd.h $(top_srcdir)/src/simdag/dax_dtd.l