src/Tools/jEdit/nbproject/project.xml
author immler@in.tum.de
Sat, 10 Jan 2009 17:33:21 +0100
changeset 34461 2dd8ced4f2ae
parent 34381 a94d2fb96fd5
permissions -rw-r--r--
create folder 'jars' before copying
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     1
<?xml version="1.0" encoding="UTF-8"?>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     2
<project xmlns="http://www.netbeans.org/ns/project/1">
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     3
    <type>org.netbeans.modules.scala.project</type>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     4
    <configuration>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     5
        <data xmlns="http://www.netbeans.org/ns/scala-project/1">
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     6
            <name>Isabelle-jEdit</name>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     7
            <minimum-ant-version>1.6.5</minimum-ant-version>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     8
            <source-roots>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
     9
                <root id="src.dir"/>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    10
            </source-roots>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    11
            <test-roots/>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    12
        </data>
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    13
        <references xmlns="http://www.netbeans.org/ns/ant-project-references/1">
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    14
            <reference>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    15
                <foreign-project>jEdit</foreign-project>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    16
                <artifact-type>jar</artifact-type>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    17
                <script>build-nb.xml</script>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    18
                <target>build</target>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    19
                <clean-target>clean</clean-target>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    20
                <id>build</id>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    21
            </reference>
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34320
diff changeset
    22
        </references>
34320
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    23
    </configuration>
883dc8fc3328 basic Netbeans project setup;
wenzelm
parents:
diff changeset
    24
</project>