m@38017
|
1 |
========================
|
m@38017
|
2 |
BUILD OUTPUT DESCRIPTION
|
m@38017
|
3 |
========================
|
m@38017
|
4 |
|
m@38017
|
5 |
When you build an Java application project that has a main class, the IDE
|
m@38017
|
6 |
automatically copies all of the JAR
|
m@38017
|
7 |
files on the projects classpath to your projects dist/lib folder. The IDE
|
m@38017
|
8 |
also adds each of the JAR files to the Class-Path element in the application
|
m@38017
|
9 |
JAR files manifest file (MANIFEST.MF).
|
m@38017
|
10 |
|
m@38017
|
11 |
To run the project from the command line, go to the dist folder and
|
m@38017
|
12 |
type the following:
|
m@38017
|
13 |
|
m@38017
|
14 |
java -jar "Isabelle-jEdit.jar"
|
m@38017
|
15 |
|
m@38017
|
16 |
To distribute this project, zip up the dist folder (including the lib folder)
|
m@38017
|
17 |
and distribute the ZIP file.
|
m@38017
|
18 |
|
m@38017
|
19 |
Notes:
|
m@38017
|
20 |
|
m@38017
|
21 |
* If two JAR files on the project classpath have the same name, only the first
|
m@38017
|
22 |
JAR file is copied to the lib folder.
|
m@38017
|
23 |
* Only JAR files are copied to the lib folder.
|
m@38017
|
24 |
If the classpath contains other types of files or folders, none of the
|
m@38017
|
25 |
classpath elements are copied to the lib folder. In such a case,
|
m@38017
|
26 |
you need to copy the classpath elements to the lib folder manually after the build.
|
m@38017
|
27 |
* If a library on the projects classpath also has a Class-Path element
|
m@38017
|
28 |
specified in the manifest,the content of the Class-Path element has to be on
|
m@38017
|
29 |
the projects runtime path.
|
m@38017
|
30 |
* To set a main class in a standard Java project, right-click the project node
|
m@38017
|
31 |
in the Projects window and choose Properties. Then click Run and enter the
|
m@38017
|
32 |
class name in the Main Class field. Alternatively, you can manually type the
|
m@38017
|
33 |
class name in the manifest Main-Class element.
|