eclipse/eclipse-copy-platform.sh

33 lines
1.1 KiB
Bash

#! /bin/sh
# We need to make our own copy of the eclipse platform in order to
# build against it. We do this since the build root might already
# contain a copy of the plugin we are building -- and the eclipse
# releng scripts fail in this situation. We put this script in the
# eclipse core so that it is easy to use from other spec files.
# Arguments are:
# * directory where results should end up (script will make it)
# * base location of eclipse platform install
# * an optional string that is used to select non-platform
# plugins and features. At present if a plugin or feature has
# this as a substring, it will be included. You need only run
# this script once, it will link both the platform and the other
# optionally-selected parts in a single invocation.
where=$1
eclipse=$2
optional=$3
mkdir $where
cd $where
mkdir plugins features
if test -n "$optional"; then
(cd $eclipse; ls -d plugins/*"$optional"* features/*"$optional"*) |
while read f; do
ln -s $eclipse/$f $f
done
fi
# Code after this point is automatically created by eclipse.spec.