Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez Gual <lluis@xamarin.com>2011-09-08 23:16:09 +0400
committerLluis Sanchez Gual <lluis@xamarin.com>2011-09-08 23:16:09 +0400
commitba49ba1d119acfd1cf7ce4c2bbf87456cece91b8 (patch)
treea4979eddedde2ee318338f4c3e2838bdf7474ef5 /extras/JavaBinding/configure
parent5e99412342cc5f6c3471d950f360d234303c3915 (diff)
Generate spec files when running make dist
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-xextras/JavaBinding/configure2
1 files changed, 2 insertions, 0 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure
index 5759b6e5df..2a56974300 100755
--- a/extras/JavaBinding/configure
+++ b/extras/JavaBinding/configure
@@ -86,6 +86,8 @@ done
check_required_packages
[ $? -eq 1 ] && exit 1
+sed -e "s,@VERSION@,$VERSION," < monodevelop-java.spec.in > monodevelop-java.spec
+
echo "prefix=$prefix" > config.make
echo "RUNTIME=mono" >> config.make
echo "ASSEMBLY_VERSION=$VERSION.0.0" >> config.make