Merge branch 'master' into plugin-framework

1 files changed, 65 insertions, 0 deletions

diff --git a/infrastructure/rhino1_7R1/build.properties b/infrastructure/rhino1_7R1/build.properties
new file mode 100644
index 0000000..4477ee0
--- /dev/null
+++ b/infrastructure/rhino1_7R1/build.properties
@@ -0,0 +1,65 @@
+# ***** BEGIN LICENSE BLOCK *****
+# Version: MPL 1.1/GPL 2.0
+#
+# The contents of this file are subject to the Mozilla Public License Version
+# 1.1 (the "License"); you may not use this file except in compliance with
+# the License. You may obtain a copy of the License at
+# http://www.mozilla.org/MPL/
+#
+# Software distributed under the License is distributed on an "AS IS" basis,
+# WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
+# for the specific language governing rights and limitations under the
+# License.
+#
+# The Original Code is Rhino code, released
+# May 6, 1999.
+#
+# The Initial Developer of the Original Code is
+# Netscape Communications Corporation.
+# Portions created by the Initial Developer are Copyright (C) 1997-1999
+# the Initial Developer. All Rights Reserved.
+#
+# Contributor(s):
+#   Igor Bukanov
+#
+# Alternatively, the contents of this file may be used under the terms of
+# the GNU General Public License Version 2 or later (the "GPL"), in which
+# case the provisions of the GPL are applicable instead of those above. If
+# you wish to allow use of your version of this file only under the terms of
+# the GPL and not to allow others to use your version of this file under the
+# MPL, indicate your decision by deleting the provisions above and replacing
+# them with the notice and other provisions required by the GPL. If you do
+# not delete the provisions above, a recipient may use your version of this
+# file under either the MPL or the GPL.
+#
+# ***** END LICENSE BLOCK *****
+
+name: rhino
+Name: Rhino
+version: 1_7R1
+# See Context#getImplementationVersion() for format of this!
+implementation.version: Rhino 1.7 release 1 ${implementation.date}
+
+build.dir: build
+rhino.jar: js.jar
+small-rhino.jar: smalljs.jar
+rhino-14.jar: js-14.jar
+small-rhino-14.jar: smalljs-14.jar
+dist.name: rhino${version}
+dist.dir: ${build.dir}/${dist.name}
+
+# compilation destionation
+classes: ${build.dir}/classes
+
+# compilation settings
+debug: on
+target-jvm: 1.5
+source-level: 1.5
+
+# jar generation settings
+jar-compression: true
+
+# optional external packages
+xmlbeans: .
+xbean.jar: ${xmlbeans}/lib/xbean.jar
+jsr173.jar: ${xmlbeans}/lib/jsr173_1.0_api.jar