@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"
@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"