build.xml
author Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 16:31:28 -0700
changeset 400 a02a6158f3bd
parent 376 1ce74e992a72
child 404 7af6c89aa795
permissions -rw-r--r--
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
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="**"
376
1ce74e992a72 last deligne figure
Scott Morrison <scott@tqft.net>
parents: 370
diff changeset
    44
            excludes="synctex.*,*.dvi,*.ps,*.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/obsolete/**,.hg/**"
8
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">
370
0680b6cd90cf beginning to update deligne diagrams
Scott Morrison <scott@tqft.net>
parents: 361
diff changeset
    51
        <exec executable="pdflatex">
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
     
370
0680b6cd90cf beginning to update deligne diagrams
Scott Morrison <scott@tqft.net>
parents: 361
diff changeset
    59
    <target name="pdf" depends="bbl">
121
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    60
        <exec executable="pdflatex">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    61
            <arg value="blob1"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    62
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    63
    </target>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    64
    
370
0680b6cd90cf beginning to update deligne diagrams
Scott Morrison <scott@tqft.net>
parents: 361
diff changeset
    65
    <target name="copy-pdf" depends="pdf">
67
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 24
diff changeset
    66
        <copy file="blob1.pdf" tofile="../../Sites/tqft.net/papers/blobs.pdf"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 24
diff changeset
    67
        <exec executable="svn" dir="../../Sites/tqft.net/papers/">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    68
            <arg value="commit"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    69
            <arg value="-m"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    70
            <arg value="blob"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    71
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    72
        <exec executable="ssh">
121
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    73
            <arg value="scottmorrison@tqft.net"/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    74
            <arg value="svn"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    75
            <arg value="up"/>      
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    76
            <arg value="tqft.net"/>                  
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    77
        </exec>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    78
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    79
</project>