]> git.pld-linux.org Git - packages/clips.git/commitdiff
- many small fixes, inspired by kloczek
authorPaweł Gołaszewski <blues@pld-linux.org>
Mon, 7 Jul 2003 04:23:51 +0000 (04:23 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    clips.spec -> 1.17

clips.spec

index 17ead9bfdaec4dacb3f39e26b995705ffc996123..7d200c68a84f12dab5a1442a44532cb4305ca352 100644 (file)
@@ -27,10 +27,10 @@ Source8:    http://www.ghg.net/clips/download/source/%{name}.hlp
 Source9:       %{name}-examples-%{version}.tar.gz
 # Source9-md5: 83dfad948a07267487661973435d72e9
 Patch0:                %{name}-automake.patch
+URL:           http://www.ghg.net/clips/CLIPS.html
 BuildRequires: autoconf
 BuildRequires: automake
 BuildRequires: libtool
-URL:           http://www.ghg.net/clips/CLIPS.html
 BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description
@@ -108,7 +108,8 @@ echo '#define HELP_DEFAULT "%{_datadir}/misc/%{name}.hlp"' >> usrsetup.h
 rm -rf $RPM_BUILD_ROOT
 install -d $RPM_BUILD_ROOT{%{_datadir}/misc,%{_examplesdir}/%{name}-%{version}}
 
-%{__make} -C clipssrc DESTDIR=$RPM_BUILD_ROOT install
+%{__make} -C clipssrc install \
+       DESTDIR=$RPM_BUILD_ROOT
 
 install %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} \
        %{SOURCE6} %{SOURCE7} .
This page took 0.115844 seconds and 4 git commands to generate.