diff options
author | Matúš Kukan <matus.kukan@gmail.com> | 2012-09-24 13:49:02 +0200 |
---|---|---|
committer | Matúš Kukan <matus.kukan@gmail.com> | 2012-09-26 11:46:56 +0200 |
commit | c640a42f29bd0bb47ac783b6324bd5c73fec7312 (patch) | |
tree | bb2167a8947e3f54e55f291209175601c8728837 /configure.in | |
parent | this belongs to RepositoryFixes (diff) | |
download | core-c640a42f29bd0bb47ac783b6324bd5c73fec7312.tar.gz core-c640a42f29bd0bb47ac783b6324bd5c73fec7312.zip |
xsltml: convert to gbuild
Change-Id: I7074c377b6a8f8250adcae73178882fc9e68c696
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 6abfc266df35..3434f7483a18 100644 --- a/configure.in +++ b/configure.in @@ -9681,7 +9681,7 @@ AC_MSG_CHECKING([whether to build the Wiki Publisher extension]) if test "x$enable_ext_wiki_publisher" = "xyes" -a "x$enable_extension_integration" != "xno" -a "$with_java" != "no"; then AC_MSG_RESULT([yes]) ENABLE_MEDIAWIKI=YES - BUILD_TYPE="$BUILD_TYPE SWEXT" + XSLTML_TARBALL=a7983f859eafb2677d7ff386a023bc40-xsltml_2.1.2.zip if test "x$with_java" = "xno"; then AC_MSG_ERROR([Wiki Publisher requires Java! Enable Java if you want to build it.]) fi @@ -9691,6 +9691,7 @@ else SCPDEFS="$SCPDEFS -DWITHOUT_EXTENSION_MEDIAWIKI" fi AC_SUBST(ENABLE_MEDIAWIKI) +AC_SUBST(XSLTML_TARBALL) if test "$ENABLE_MEDIAWIKI" = "YES"; then AC_MSG_CHECKING([which Servlet API Jar to use]) |