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
  11 %description
  12 The GNU make command with extensive documentation.
  13
  14 %prep
  15 %setup -q
  16
  17 %build
  18 CFLAGS=$RPM_OPT_FLAGS \
  19 ./configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --disable-nls
  20 make %{?_smp_mflags}
  21
  22 %check
  23 make check
  24
  25 %install
  26 make DESTDIR=$RPM_BUILD_ROOT install
  27 ln -s make $RPM_BUILD_ROOT/usr/bin/gmake
  28
  29 %files
  30 %defattr(-,root,root)
  31 /usr/bin/make
  32 /usr/bin/gmake
  33 %doc /usr/share/info/make.info-*.gz
  34 %doc /usr/share/info/make.info.gz
  35 %doc /usr/share/man/man1/make.1.gz
  36
  37 %clean
  38 rm -rf $RPM_BUILD_ROOT
  39
  40 %post
  41 %install_info --info-dir=%{_infodir} %{_infodir}/%{name}.info.gz
  42
  43 %postun
  44 %install_info_delete --info-dir=%{_infodir} %{_infodir}/%{name}.info.gz
  45
  46 %changelog