| <?xml version="1.0" encoding="UTF-8"?> |
| <project name="tokenizer" default="XML10Names"> |
| |
| <!-- Note: for Eclipse env., the JFlex 1.4 jar should be added |
| to the ant global entries --> |
| <taskdef classname="JFlex.anttask.JFlexTask" name="jflex" /> |
| |
| <target name="init"> |
| <property name="src.file" value="XML10Names.jFlex"/> |
| <property name="src.dir" value="HeadParsers"/> |
| <property name="dest.dir" value="../src"/> |
| <!-- touch causes to always build, remove for real 'make' behavior --> |
| <touch file="${src.dir}/${src.file}"/> |
| |
| </target> |
| |
| <target name="XML10Names" depends="init"> |
| <antcall target="run-jflex"/> |
| </target> |
| |
| <target name="run-jflex" depends="init"> |
| <jflex |
| file="${src.dir}/${src.file}" |
| destdir="${dest.dir}" |
| verbose="true" |
| nobak="true" |
| time="on" |
| /> |
| </target> |
| |
| |
| </project> |