diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-09-04 18:48:51 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-09-04 18:48:51 +0000 |
| commit | bd2666eab429083143c0233a57deb42bd8ef292d (patch) | |
| tree | c35829e13a59e03a48f1b573c034c10d00b5289a /src/runtime/java | |
| parent | 1fdf0cbcfba36d102b0ce804681dae2cd3f0544c (diff) | |
added description file for building jpgf.jar
Diffstat (limited to 'src/runtime/java')
| -rw-r--r-- | src/runtime/java/JPGFJar.jardesc | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/runtime/java/JPGFJar.jardesc b/src/runtime/java/JPGFJar.jardesc new file mode 100644 index 000000000..2720a2479 --- /dev/null +++ b/src/runtime/java/JPGFJar.jardesc @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<jardesc> + <jar path="jpgf/Release/jpgf.jar"/> + <options buildIfNeeded="true" compress="true" descriptionLocation="/jpgf/JPGFJar.jardesc" exportErrors="true" exportWarnings="true" includeDirectoryEntries="false" overwrite="true" saveDescription="true" storeRefactorings="false" useSourceFolders="false"/> + <storedRefactorings deprecationInfo="true" structuralOnly="false"/> + <selectedProjects/> + <manifest generateManifest="true" manifestLocation="" manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="true"> + <sealing sealJar="false"> + <packagesToSeal/> + <packagesToUnSeal/> + </sealing> + </manifest> + <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false"> + <javaElement handleIdentifier="=jpgf/<org.grammaticalframework.pgf"/> + </selectedElements> +</jardesc> |