diff options
Diffstat (limited to 'editors/jedit/PRE_BUILD')
| -rwxr-xr-x | editors/jedit/PRE_BUILD | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/editors/jedit/PRE_BUILD b/editors/jedit/PRE_BUILD index 270098db39..7fedb18ac0 100755 --- a/editors/jedit/PRE_BUILD +++ b/editors/jedit/PRE_BUILD @@ -1,3 +1,14 @@ -default_pre_build && -patch -p1 -d ${SOURCE_DIRECTORY} < \ - ${SCRIPT_DIRECTORY}/build.properties_${VERSION}.patch +default_pre_build && +cd "${SOURCE_DIRECTORY}" + +local BUILD_PROPS="build.properties" && + +if is_depends_enabled $SPELL xocbook-xsl; then + echo "xsltproc.executable=xsltproc" >> $BUILD_PROPS && + echo "docbook.xsl=$INSTALL_ROOT/usr/share/xml/docbook/xsl-stylesheets-1.76" >> $BUILD_PROPS && + echo "docbook.catalog=$INSTALL_ROOT/usr/share/xml/docbook/xml-dtd-4.5/catalog.xml" >> $BUILD_PROPS +fi && + +if is_depends_enabled $SPELL fop; then + echo "fop.dir=$INSTALL_ROOT/usr/share/fop-0.20.5" >> $BUILD_PROPS +fi |