projects / packages / XSB.git / blame
| Commit | Line | Data |
|---|---|---|
| f0d44548 JB |
1 | Summary: XSB Prolog Distribution |
| 2 | Summary(pl.UTF-8): Dystrybucja XSB Prologa | |
| 3 | Name: XSB | |
| 4 | Version: 3.3.6 | |
| 5 | Release: 0.1 | |
| 6 | License: LGPL v2 | |
| 7 | Group: Development/Languages | |
| 8 | Source0: http://xsb.sourceforge.net/downloads/%{name}336.tar.gz | |
| 9 | # Source0-md5: bd43680832cbe9a33ce1a9fc21d81d83 | |
| 10 | Patch0: %{name}-configure.patch | |
| 11 | URL: http://xsb.sourceforge.net/ | |
| 12 | BuildRequires: autoconf | |
| 13 | BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) | |
| 14 | ||
| 15 | %description | |
| 16 | XSB Prolog Distribution - a logic programming and deductive database | |
| 17 | system. | |
| 18 | ||
| 19 | %description -l pl.UTF-8 | |
| 20 | Dystrybucja XSB Prologa - system programowania w logice oraz | |
| 21 | dedukcyjnych baz danych. | |
| 22 | ||
| 23 | %prep | |
| 24 | %setup -q -n %{name} | |
| 25 | %patch0 -p1 | |
| 26 | ||
| 27 | %build | |
| 28 | installdir=$(pwd)/install | |
| 29 | cd build | |
| 30 | %{__autoconf} | |
| 31 | %configure \ | |
| 32 | --prefix=$installdir | |
| 33 | %{__make} -f ../config/%{_target_platform}*/topMakefile | |
| 34 | ||
| 35 | %install | |
| 36 | rm -rf $RPM_BUILD_ROOT | |
| 37 | install -d $RPM_BUILD_ROOT%{_libdir}/XSB | |
| 38 | ||
| 39 | cp -a install/* $RPM_BUILD_ROOT%{_libdir}/XSB | |
| 40 | ||
| 41 | cd build | |
| 42 | %{__make} -f ../config/%{_target_platform}*/topMakefile \ | |
| 43 | prefix=$RPM_BUILD_ROOT%{_libdir}/XSB | |
| 44 | ||
| 45 | %clean | |
| 46 | rm -rf $RPM_BUILD_ROOT | |
| 47 | ||
| 48 | %files | |
| 49 | %defattr(644,root,root,755) | |
| 50 | %doc FAQ LICENSE README | |
| 51 | %attr(755,root,root) %{_bindir}/* | |
| 52 | # TODO |