build.xml
author scott@6e1638ff-ae45-0410-89bd-df963105f760
Tue, 01 Jul 2008 21:10:16 +0000
changeset 24 b3e7c532e98e
parent 21 b7812497643a
child 67 1df2e5b38eb2
permissions -rw-r--r--
...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
<!-- This is an Ant build file; you'll need to install Ant before using it. -->
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
     2
<project name="blob" default="usage">
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
    <target name="init">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
     4
      <property name="arxivTarFile" value="blob.tar"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     5
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     6
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     7
    <!-- USAGE -->
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     8
    <!-- Instructions for using the build file -->
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
    <!-- =================================================================== -->
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    10
    <target name = "usage" depends = "init">    
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    11
        <echo message = ""/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    12
        <echo message = "blob build instructions"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    13
        <echo message = "-------------------------------------------------------------"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    14
        <echo message = ""/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    15
        <echo message = " available targets are:"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    16
        <echo message = ""/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    17
        <echo message = "   arxiv --> builds blob.tar.gz, for submission to the arxiv"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    18
        <echo message = "   dvi   --> builds blob.dvi"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    19
        <echo message = "   ps    --> builds blob.ps"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    20
        <echo message = "   pdf   --> builds blob.pdf"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    21
        <echo message = ""/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    22
        <echo message = "-------------------------------------------------------------"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    23
        <echo message = ""/>  
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    24
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    25
    <!-- =================================================================== -->    
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    26
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    27
    <target name="clean" depends="init">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    28
        <delete>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    29
            <fileset dir=".">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    30
                <include name="*.toc"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    31
                <include name="*.log"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    32
                <include name="*.aux"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    33
                <include name="*.blg"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    34
                <include name="*.xyc"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    35
                <include name="*.out"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    36
            </fileset>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    37
        </delete>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    38
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    39
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    40
    <target name="arxiv" depends="clean">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    41
        <delete file="${arxivTarFile}"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    42
        <delete file="${arxivTarFile}.gz"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    43
        <tar destfile="${arxivTarFile}" basedir="." includes="**"
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    44
            excludes="*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/pdf/**,diagrams/latex2pdf/**,diagrams/*"
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    45
        />
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    46
        <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    47
        <delete file="${arxivTarFile}"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    48
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    49
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    50
    <target name="bbl" depends="init">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    51
        <exec executable="latex">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    52
            <arg value="blob1"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    53
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    54
        <exec executable="bibtex">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    55
            <arg value="blob1"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    56
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    57
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    58
     
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    59
    <target name="dvi" depends="bbl">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    60
        <exec executable="latex">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    61
            <arg value="blob1"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    62
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    63
        <exec executable="latex">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    64
            <arg value="blob1"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    65
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    66
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    67
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    68
    <target name="ps" depends="dvi">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    69
        <exec executable="dvips">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    70
            <arg value="blob1"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    71
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    72
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    73
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    74
    <target name="pdf" depends="ps">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    75
        <exec executable="ps2pdf">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    76
            <arg value="blob1.ps"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    77
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    78
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    79
    
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    80
    <target name="eps-diagrams">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    81
        <exec executable="bash" dir="diagrams/scripts/">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    82
            <arg value="find_all_diagrams.sh"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    83
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    84
        <exec executable="bash" dir="diagrams/scripts/">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    85
            <arg value="stripall.sh"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    86
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    87
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    88
    
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    89
    <target name="scott-copy-pdf" depends="pdf">
24
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 21
diff changeset
    90
        <copy file="blob1.pdf" tofile="../../hosts/tqft.net/papers/blobs.pdf"/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    91
        <exec executable="svn" dir="../../hosts/tqft.net/papers/">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    92
            <arg value="commit"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    93
            <arg value="-m"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    94
            <arg value="blob"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    95
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    96
        <exec executable="ssh">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    97
            <arg value="scottmorrison@heracles.dreamhost.com"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    98
            <arg value="svn"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    99
            <arg value="up"/>      
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
   100
            <arg value="tqft.net"/>                  
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
   101
        </exec>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   102
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
   103
</project>