package init
This commit is contained in:
parent
e2bb117eb1
commit
5b5db6fa28
BIN
extlib-1.7.5.tar.gz
Normal file
BIN
extlib-1.7.5.tar.gz
Normal file
Binary file not shown.
52
ocaml-extlib.spec
Normal file
52
ocaml-extlib.spec
Normal file
@ -0,0 +1,52 @@
|
||||
%global debug_package %{nil}
|
||||
|
||||
Name: ocaml-extlib
|
||||
Version: 1.7.5
|
||||
Release: 4
|
||||
Summary: A set of additional useful functions and modules for OCaml
|
||||
License: LGPLv2+ with exceptions
|
||||
URL: https://github.com/ygrek/ocaml-extlib
|
||||
Source0: https://github.com/ygrek/ocaml-extlib/releases/download/%{version}/extlib-%{version}.tar.gz
|
||||
|
||||
BuildRequires: gawk git ocaml >= 4.00.1 ocaml-camlp4-devel ocaml-cppo
|
||||
BuildRequires: ocaml-findlib-devel >= 1.3.3-3 ocaml-ocamldoc
|
||||
|
||||
%description
|
||||
A complete yet small extension for OCaml standard library (reduced, recommended)
|
||||
|
||||
The purpose of this library is to add new functions to OCaml standard library modules, to modify
|
||||
some functions in order to get better performances or safety (tail-recursive) and also to provide
|
||||
new modules which should be useful for day to day programming.
|
||||
|
||||
%package devel
|
||||
Summary: Development documents for %{name}
|
||||
Requires: %{name} = %{version}-%{release}
|
||||
|
||||
%description devel
|
||||
The package provides libraries and some other development documents for developing applications
|
||||
that use %{name}.
|
||||
|
||||
%prep
|
||||
%autosetup -S git -p1 -n extlib-%{version}
|
||||
|
||||
%build
|
||||
unset MAKEFLAGS
|
||||
make build -j1
|
||||
|
||||
%install
|
||||
export DESTDIR=$RPM_BUILD_ROOT OCAMLFIND_DESTDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml
|
||||
install -d $OCAMLFIND_DESTDIR/stublibs
|
||||
%make_install
|
||||
|
||||
%files
|
||||
%doc README.md
|
||||
%license LICENSE
|
||||
%{_libdir}/ocaml/extlib
|
||||
%exclude %{_libdir}/ocaml/extlib/*.{a,cmx,cmxa,mli}
|
||||
|
||||
%files devel
|
||||
%{_libdir}/ocaml/extlib/*.{a,cmx,cmxa,mli}
|
||||
|
||||
%changelog
|
||||
* Wed Feb 26 2020 zhouyihang<zhouyihang1@huawei.com> - 1.7.5-4
|
||||
- Package init
|
||||
Loading…
x
Reference in New Issue
Block a user