|
Revision 4490, 416 bytes
(checked in by mtredinnick, 2 years ago)
|
Refs #3338 -- Partially fix rpm packaging problems. There is still one issue
remaining with how we construct the version numbers, but this change is useful
nonetheless. Patch from Dirk Datzert.
|
| Line | |
|---|
| 1 |
#! /bin/sh |
|---|
| 2 |
# |
|---|
| 3 |
# this file is *inserted* into the install section of the generated |
|---|
| 4 |
# spec file |
|---|
| 5 |
# |
|---|
| 6 |
|
|---|
| 7 |
# this is, what dist.py normally does |
|---|
| 8 |
python setup.py install --root=${RPM_BUILD_ROOT} --record="INSTALLED_FILES" |
|---|
| 9 |
|
|---|
| 10 |
for i in `cat INSTALLED_FILES`; do |
|---|
| 11 |
if [ -f ${RPM_BUILD_ROOT}/$i ]; then |
|---|
| 12 |
echo $i >>FILES |
|---|
| 13 |
fi |
|---|
| 14 |
if [ -d ${RPM_BUILD_ROOT}/$i ]; then |
|---|
| 15 |
echo %dir $i >>DIRS |
|---|
| 16 |
fi |
|---|
| 17 |
done |
|---|
| 18 |
|
|---|
| 19 |
cat DIRS FILES >INSTALLED_FILES |
|---|
