96 lines
3.0 KiB
RPMSpec
96 lines
3.0 KiB
RPMSpec
%global debug_package %{nil}
|
|
|
|
Name: ocaml-obuild
|
|
Version: 0.1.10
|
|
Release: 7%{?dist}
|
|
Summary: Simple package build system for OCaml
|
|
|
|
License: BSD
|
|
URL: https://github.com/ocaml-obuild/obuild
|
|
Source0: https://github.com/ocaml-obuild/obuild/archive/obuild-v%{version}/%{name}-%{version}.tar.gz
|
|
|
|
BuildRequires: ocaml
|
|
BuildRequires: help2man
|
|
|
|
%description
|
|
A parallel, incremental and declarative build system for OCaml.
|
|
|
|
The goal is to make a very simple build system for users and developers of
|
|
OCaml libraries and programs.
|
|
|
|
Obuild acts as a building black box: users only declare what they want to
|
|
build and with which sources; the build system will consistently build it.
|
|
|
|
The design is based on Haskell's Cabal and borrows most of the layout and
|
|
way of working, adapting parts where necessary to fully support OCaml.
|
|
|
|
|
|
%prep
|
|
%setup -q -n obuild-obuild-v%{version}
|
|
|
|
|
|
%build
|
|
./bootstrap
|
|
|
|
|
|
%install
|
|
mkdir -p $RPM_BUILD_ROOT%{_bindir}
|
|
cp "dist/build/obuild/obuild" "dist/build/obuild-simple/obuild-simple" "$RPM_BUILD_ROOT%{_bindir}"
|
|
|
|
# generate manpages
|
|
mkdir -p $RPM_BUILD_ROOT%{_mandir}/man1
|
|
help2man \
|
|
--output "$RPM_BUILD_ROOT%{_mandir}/man1/obuild.1" \
|
|
--name "parallel, incremental and declarative build system for OCaml" \
|
|
--help-option "" \
|
|
--no-discard-stderr \
|
|
--no-info \
|
|
dist/build/obuild/obuild
|
|
help2man \
|
|
--output "$RPM_BUILD_ROOT%{_mandir}/man1/obuild-simple.1" \
|
|
--name "simple package build system for OCaml" \
|
|
--version-string " " \
|
|
--no-discard-stderr \
|
|
--no-info \
|
|
dist/build/obuild-simple/obuild-simple
|
|
|
|
|
|
%files
|
|
%doc README.md OBUILD_SPEC.md DESIGN.md
|
|
%license LICENSE
|
|
%{_bindir}/*
|
|
%{_mandir}/man1/*.1*
|
|
|
|
|
|
%changelog
|
|
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.1.10-7
|
|
- OCaml 4.11.0 rebuild
|
|
|
|
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.10-6
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.10-5
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
|
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.10-4
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.10-3
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
|
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.10-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
|
* Mon May 14 2018 Andy Li <andy@onthewings.net> - 0.1.10-1
|
|
- New upstream release (RHBZ#1572211).
|
|
|
|
* Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.1.9-2
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
* Tue Nov 21 2017 Andy Li <andy@onthewings.net> - 0.1.9-1
|
|
- New upstream release.
|
|
- Remove obuild-arg-parsing.patch, which has been merged upstream.
|
|
|
|
* Fri Nov 17 2017 Andy Li <andy@onthewings.net> - 0.1.8-1
|
|
- Initial RPM release.
|