- #${CMAKE_HOME_DIRECTORY}/src/surf/xml/simgrid_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/surf/xml/simgrid.dtd
- COMMAND ${CMAKE_COMMAND} -E remove -f ${CMAKE_HOME_DIRECTORY}/include/surf/simgrid.h
- COMMAND ${FLEXML_EXE} --root-tags platform -P surfxml --sysid=https://simgrid.org/simgrid.dtd -H src/surf/xml/simgrid_dtd.h -L src/surf/xml/simgrid.dtd
- COMMAND ${SED_EXE} -i ${string1} src/surf/xml/simgrid_dtd.h
- COMMAND ${SED_EXE} -i ${string2} src/surf/xml/simgrid_dtd.h
- COMMAND ${SED_EXE} -i ${string3} src/surf/xml/simgrid_dtd.h
- COMMAND ${SED_EXE} -i ${string4} src/surf/xml/simgrid_dtd.h
- COMMAND ${SED_EXE} -i ${string14} src/surf/xml/simgrid_dtd.h
- COMMAND ${CMAKE_COMMAND} -E echo " Generated src/surf/xml/simgrid_dtd.h"
+ #${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid_dtd.h: ${CMAKE_HOME_DIRECTORY}/src/kernel/xml/simgrid.dtd
+ COMMAND ${FLEXML_EXE} --root-tags platform -P simgrid_parse --sysid=https://simgrid.org/simgrid.dtd -H src/kernel/xml/simgrid_dtd.h -L src/kernel/xml/simgrid.dtd
+ COMMAND ${SED_EXE} -i ${string1} src/kernel/xml/simgrid_dtd.h
+ COMMAND ${SED_EXE} -i ${string2} src/kernel/xml/simgrid_dtd.h
+ COMMAND ${SED_EXE} -i ${string3} src/kernel/xml/simgrid_dtd.h
+ COMMAND ${SED_EXE} -i ${string4} src/kernel/xml/simgrid_dtd.h
+ COMMAND ${SED_EXE} -i ${string14} src/kernel/xml/simgrid_dtd.h
+ COMMAND ${CMAKE_COMMAND} -E echo " Generated src/kernel/xml/simgrid_dtd.h"