packaging/make.spec

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