diff options
| author | David Aspinall | 1999-07-01 18:46:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-01 18:46:11 +0000 |
| commit | f637b184df27beef7cc562e358b83baacf8efced (patch) | |
| tree | faf6b9515b74c03ce2834470abf1084d3988596f /Makefile.devel | |
| parent | 519114c247e82a67c2203c4bde802510ce9c40b5 (diff) | |
Fix rpm building for 3.0.1 version of RPM.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Makefile.devel b/Makefile.devel index e5b9a3e7..27fa7a86 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -112,8 +112,12 @@ DISTBUILDIR = /tmp/ProofGeneralRelease # Temporary RPM topdir for building packages as non-root user. RPMTOPDIR=/tmp/ProofGeneral-rpm -RPMRC=$(RPMTOPDIR)/rpmrc -RPM=rpm --rcfile $(RPMRC) +# rpm 3.0 has changed rc file beyond recognition. +# now wants a macro file included and stuck in ~/.rpmmacros. +# Alternative is to use --define from command line. +# RPMRC=$(RPMTOPDIR)/rpmrc +# RPM=rpm --rcfile $(RPMRC) +RPM=rpm --define '_topdir $(RPMTOPDIR)' RELEASENAMETAR = $(RELEASENAME).tar RELEASENAMETARGZ = $(RELEASENAMETAR).gz @@ -348,9 +352,8 @@ release: distclean tag dist develdist ## ## rpm: - rm -rf $(RPMTOPDIR) +# rm -rf $(RPMTOPDIR) mkdir -p $(RPMTOPDIR) $(RPMTOPDIR)/BUILD $(RPMTOPDIR)/SOURCES $(RPMTOPDIR)/SRPMS $(RPMTOPDIR)/RPMS $(RPMTOPDIR)/RPMS/noarch - echo "_topdir: $(RPMTOPDIR)" > $(RPMRC) cp -p etc/ProofGeneral.patch $(RPMTOPDIR)/SOURCES cp -p $(DISTBUILDIR)/$(RELEASENAMETARGZ) $(RPMTOPDIR)/SOURCES $(RPM) -ba etc/ProofGeneral.spec |