diff options
Diffstat (limited to 'src')
| -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> |