packaging/make.spec

   1 Name:           make
   2 Url:            http://www.gnu.org/software/make/make.html
   3 Provides:       gmake
   4 Version:        3.82
   5 Release:        0
   6 Summary:        GNU make
   7 License:        GPL-2.0+
   8 Group:          Development/Tools/Building
   9 Source:         make-%version.tar.bz2
  10 Source1001:     make.manifest
  11
  12 %description
  13 The GNU make command with extensive documentation.
  14
  15 %prep
  16 %setup -q
  17 cp %{SOURCE1001} .
  18
  19 %build
  20 export AUTOPOINT=true
  21 %reconfigure --disable-nls
  22 make %{?_smp_mflags}
  23
  24 %check
  25 make check
  26
  27 %install
  28 make DESTDIR=$RPM_BUILD_ROOT install
  29 ln -s make $RPM_BUILD_ROOT/usr/bin/gmake
  30
  31 %files
  32 %manifest %{name}.manifest
  33 %defattr(-,root,root)
  34 %license COPYING
  35 /usr/bin/make
  36 /usr/bin/gmake
  37 %doc /usr/share/info/make.info-*.gz
  38 %doc /usr/share/info/make.info.gz
  39 %doc /usr/share/man/man1/make.1.gz
  40
  41 %clean
  42 rm -rf $RPM_BUILD_ROOT
  43
  44 %post
  45 %install_info --info-dir=%{_infodir} %{_infodir}/%{name}.info.gz
  46
  47 %postun
  48 %install_info_delete --info-dir=%{_infodir} %{_infodir}/%{name}.info.gz
  49
  50 %changelog