build.xml
author Kevin Walker <kevin@canyon23.net>
Wed, 09 Feb 2011 18:21:58 -0800
changeset 713 eafdb7806df3
parent 690 700026bd2470
child 974 680b890d2918
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. -->
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="**"
690
700026bd2470 fixing build script to omit PNAS files for arxiv submission
Scott Morrison <scott@tqft.net>
parents: 561
diff changeset
    44
            excludes="*.synctex*,*.dvi,*.ps,blob1.pdf,*.png,${arxivTarFile},${arxivTarFile}.gz,sandbox.*,bibliography/**,papers/**,talks/**,diagrams/obsolete/**,diagrams/latex2pdf/**,pnas/**,text/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">
404
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    66
        <exec executable="svn" dir="../../Sites/tqft.net/papers/">
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    67
            <arg value="up"/>
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    68
	    <arg value="--accept"/>
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    69
	    <arg value="theirs-full"/>
7af6c89aa795 fixing problem in build script
Scott Morrison <scott@tqft.net>
parents: 376
diff changeset
    70
        </exec>
67
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 24
diff changeset
    71
        <copy file="blob1.pdf" tofile="../../Sites/tqft.net/papers/blobs.pdf"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 24
diff changeset
    72
        <exec executable="svn" dir="../../Sites/tqft.net/papers/">
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    73
            <arg value="commit"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    74
            <arg value="-m"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    75
            <arg value="blob"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    76
        </exec>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    77
        <exec executable="ssh">
121
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 67
diff changeset
    78
            <arg value="scottmorrison@tqft.net"/>
21
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    79
            <arg value="svn"/>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    80
            <arg value="up"/>      
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    81
            <arg value="tqft.net"/>                  
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents: 8
diff changeset
    82
        </exec>
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    83
    </target>
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    84
</project>