mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-14 05:12:33 +00:00
Code Issues Projects Releases Wiki Activity

Update the RPM spec file to support RedHat 8.0 and Mercury > 0.11.

Browse Source 
Estimated hours taken: 4
Branches: main

Update the RPM spec file to support RedHat 8.0 and Mercury > 0.11.

.mercury-compiler.spec.in:
    - use /usr/share/man and /usr/share/info instead of /usr/man and /usr/info;
    - use ".1*" instead of ".1" for man pages in order to allow for the
        possibility of them being compressed;
    - set INSTALL_PREFIX when doing make install;
    - set MERCURY_COMPILER when doing make install,
        in order to allow installing from the source .tar.gz without
	needing an already-installed Mercury compiler;
    - mention new files added since Mercury 0.10.
This commit is contained in:
Fergus Henderson
2004-02-08 09:40:18 +00:00
parent c285e6e0ae
commit d04db18d3e
1 changed files with 38 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

54
.mercury-compiler.spec.in
View File

@@ -35,6 +35,18 @@ It does NOT include the "extras" distribution; that is available
from <http://www.cs.mu.oz.au/mercury/download/release.html>. from <http://www.cs.mu.oz.au/mercury/download/release.html>.
%changelog %changelog
* Sun Feb 8 2004 Fergus Henderson <fjh@cs.mu.oz.au>
- Update to support RedHat 8.0 and Mercury > 0.11.
In particular:
use /usr/share/man and /usr/share/info instead of /usr/man and /usr/info;
use ".1*" instead of ".1" for man pages in order to allow for the
possibility of them being compressed;
set INSTALL_PREFIX when doing make install;
set MERCURY_COMPILER when doing make install,
in order to allow installing from the source .tar.gz without
needing an already-installed Mercury compiler;
mention new files added since Mercury 0.10.
* Thu Oct 16 2002 Fergus Henderson <fjh@cs.mu.oz.au> * Thu Oct 16 2002 Fergus Henderson <fjh@cs.mu.oz.au>
- Modify the way the spec file is generated to support building - Modify the way the spec file is generated to support building
RPMS for ROTD releases. RPMS for ROTD releases.
@@ -54,7 +66,12 @@ sh configure --prefix=/usr
make make
%install %install
make install PLATFORM=`./config.guess`
MERCURY_COMPILER=$RPM_BUILD_ROOT%{_libdir}/mercury/bin/$PLATFORM/mercury_compile \
make install \
INSTALL_PREFIX=$RPM_BUILD_ROOT%{_prefix} \
INSTALL_MAN_DIR=$RPM_BUILD_ROOT%{_mandir} \
INSTALL_INFO_DIR=$RPM_BUILD_ROOT%{_infodir}
%files %files
%doc README* %doc README*
@@ -63,9 +80,13 @@ make install
%doc COPYING COPYING.LIB %doc COPYING COPYING.LIB
%doc samples %doc samples
/usr/bin/c2init /usr/bin/c2init
/usr/bin/canonical_grade
/usr/bin/info_to_mdb
/usr/bin/mdb /usr/bin/mdb
/usr/bin/mdemangle /usr/bin/mdemangle
/usr/bin/mercury.bat
/usr/bin/mercury_cleanup_install /usr/bin/mercury_cleanup_install
/usr/bin/mercury_config
/usr/bin/mercury_update_interface /usr/bin/mercury_update_interface
/usr/bin/mgnuc /usr/bin/mgnuc
/usr/bin/mkfifo_using_mknod /usr/bin/mkfifo_using_mknod
@@ -77,19 +98,20 @@ make install
/usr/bin/mprof_merge_runs /usr/bin/mprof_merge_runs
/usr/bin/mtags /usr/bin/mtags
/usr/bin/vpath_find /usr/bin/vpath_find
/usr/man/man1/c2init.1 /usr/share/man/man1/c2init.1*
/usr/man/man1/mdb.1 /usr/share/man/man1/mdb.1*
/usr/man/man1/mgnuc.1 /usr/share/man/man1/mercury_config.1*
/usr/man/man1/ml.1 /usr/share/man/man1/mgnuc.1*
/usr/man/man1/mmake.1 /usr/share/man/man1/ml.1*
/usr/man/man1/mmc.1 /usr/share/man/man1/mmake.1*
/usr/man/man1/mprof.1 /usr/share/man/man1/mmc.1*
/usr/man/man1/mprof_merge_runs.1 /usr/share/man/man1/mprof.1*
/usr/man/man1/mtags.1 /usr/share/man/man1/mprof_merge_runs.1*
/usr/info/mercury.info /usr/share/man/man1/mtags.1*
/usr/info/mercury_faq.info* /usr/share/info/mercury.info*
/usr/info/mercury_library.info* /usr/share/info/mercury_faq.info*
/usr/info/mercury_ref.info* /usr/share/info/mercury_library.info*
/usr/info/mercury_trans_guide.info* /usr/share/info/mercury_ref.info*
/usr/info/mercury_user_guide.info* /usr/share/info/mercury_trans_guide.info*
/usr/share/info/mercury_user_guide.info*
/usr/lib/mercury /usr/lib/mercury