pnas/build.xml
author Kevin Walker <kevin@canyon23.net>
Wed, 09 Feb 2011 18:21:58 -0800
changeset 713 eafdb7806df3
parent 633 2906548b2a95
permissions -rw-r--r--
added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
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. -->
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
     2
<project name="pnas" default="usage">
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
    <target name="init">
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
     4
      <property name="arxivTarFile" value="pnas.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 = "   pdf   --> builds blob.pdf"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    19
        <echo message = ""/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    20
        <echo message = "-------------------------------------------------------------"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    21
        <echo message = ""/>  
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    22
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    23
    <!-- =================================================================== -->    
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    24
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    25
    <target name="clean" depends="init">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    26
        <delete>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    27
            <fileset dir=".">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    28
                <include name="*.toc"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    29
                <include name="*.log"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    30
                <include name="*.aux"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    31
                <include name="*.blg"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    32
                <include name="*.xyc"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    33
                <include name="*.out"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    34
            </fileset>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    35
        </delete>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    36
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    37
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    38
    <target name="arxiv" depends="clean">
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    39
        <delete file="${arxivTarFile}"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    40
        <delete file="${arxivTarFile}.gz"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    41
        <tar destfile="${arxivTarFile}" basedir="." includes="**"
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    42
            excludes="*.synctex*,*.dvi,*.ps,pnas.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/obsolete/**,diagrams/latex2pdf/**,text/obsolete/**,.hg/**"
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    43
        />
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    44
        <gzip src="${arxivTarFile}" destfile="${arxivTarFile}.gz"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    45
        <delete file="${arxivTarFile}"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    46
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    47
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    48
    <target name="bbl" depends="init">
370
0680b6cd90cf beginning to update deligne diagrams
Scott Morrison <scott@tqft.net>
parents: 361
diff changeset
    49
        <exec executable="pdflatex">
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    50
            <arg value="pnas"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    51
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    52
        <exec executable="bibtex">
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    53
            <arg value="pnas"/>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    54
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    55
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    56
     
370
0680b6cd90cf beginning to update deligne diagrams
Scott Morrison <scott@tqft.net>
parents: 361
diff changeset
    57
    <target name="pdf" depends="bbl">
121
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    58
        <exec executable="pdflatex">
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    59
            <arg value="pnas"/>
121
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    60
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    61
    </target>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    62
    
370
0680b6cd90cf beginning to update deligne diagrams
Scott Morrison <scott@tqft.net>
parents: 361
diff changeset
    63
    <target name="copy-pdf" depends="pdf">
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    64
        <exec executable="svn" dir="../../../Sites/tqft.net/papers/">
404
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    65
            <arg value="up"/>
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    66
	    <arg value="--accept"/>
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    67
	    <arg value="theirs-full"/>
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    68
        </exec>
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    69
        <copy file="pnas.pdf" tofile="../../../Sites/tqft.net/papers/blobs-pnas.pdf"/>
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    70
        <exec executable="svn" dir="../../../Sites/tqft.net/papers/">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    71
            <arg value="commit"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    72
            <arg value="-m"/>
633
2906548b2a95 changing title?
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    73
            <arg value="pnas"/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    74
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    75
        <exec executable="ssh">
121
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    76
            <arg value="scottmorrison@tqft.net"/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    77
            <arg value="svn"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    78
            <arg value="up"/>      
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    79
            <arg value="tqft.net"/>                  
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    80
        </exec>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    81
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    82
</project>