| 1 |
%define libname ocaml-mascot-lib |
| 2 |
|
| 3 |
Name: mascot |
| 4 |
Version: 1.0 |
| 5 |
Release: %mkrel 2 |
| 6 |
Summary: Style-checker for OCaml sources |
| 7 |
License: GPL v3 |
| 8 |
Group: Development/OCaml |
| 9 |
URL: http://mascot.x9c.fr/ |
| 10 |
Source0: http://download.ocamlcore.org/mascot/%{version}/sources/mascot-%{version}.tar.gz |
| 11 |
Source1: mascot-man-page-%{version}.1 |
| 12 |
Source2: example.conf |
| 13 |
Patch0: mascot-1.0.fix-build-doc.patch |
| 14 |
BuildRequires: ocaml-findlib |
| 15 |
BuildRequires: ocaml-compiler-libs |
| 16 |
BuildRequires: camlp4-devel |
| 17 |
|
| 18 |
%description |
| 19 |
Mascot is a style-checker for OCaml sources. It provides checks in various |
| 20 |
categories: code, documentation, interface, metrics, and typography. The |
| 21 |
goal of the tool is to allow a (team of) developer(s) to enforce style |
| 22 |
properties over a source codebase for greater coherency and style |
| 23 |
uniformity. The tool is highly customizable, allowing one to choose the |
| 24 |
checks to perform, as well as exceptions to those checks in given files. |
| 25 |
Moreover, a plugin system allows the developer to add its own checks, and |
| 26 |
output modes. |
| 27 |
|
| 28 |
Bundled output modes range from bare text to CheckStyle- and |
| 29 |
JDepend-compatible XML file in order to allow integration with Jenkins. |
| 30 |
|
| 31 |
Help: |
| 32 |
In order to improve the project, I am primarily looking for testers and bug |
| 33 |
reporters http://bugs.x9c.fr. Pointing errors in documentation and |
| 34 |
indicating where it should be enhanced is also very helpful. Of course, |
| 35 |
aside from bugs, you can also use the tracker to request new features. |
| 36 |
|
| 37 |
The darcs repository is http://mascot.x9c.fr/_darcs (read-only, useful to |
| 38 |
always get the last version). |
| 39 |
|
| 40 |
%package -n %{libname} |
| 41 |
Summary: Development files for %{name} |
| 42 |
Group: Development/OCaml |
| 43 |
Requires: %{name} = %{version}-%{release} |
| 44 |
Requires: ocaml-compiler |
| 45 |
|
| 46 |
%description -n %{libname} |
| 47 |
This package contains libraries and signature files for developing |
| 48 |
applications with %{name}. |
| 49 |
|
| 50 |
%package -n %{libname}-devel |
| 51 |
Summary: Development files for %{name} |
| 52 |
Group: Development/OCaml |
| 53 |
Requires: %{libname} = %{version}-%{release} |
| 54 |
|
| 55 |
%description -n %{libname}-devel |
| 56 |
This package contains native libraries files for developing |
| 57 |
applications with %{name}. |
| 58 |
|
| 59 |
%prep |
| 60 |
%setup -q -n mascot-%{version} |
| 61 |
%patch0 -p1 |
| 62 |
|
| 63 |
%build |
| 64 |
sh configure |
| 65 |
make all |
| 66 |
make doc |
| 67 |
mv doc manual |
| 68 |
|
| 69 |
%check |
| 70 |
make tests |
| 71 |
|
| 72 |
%install |
| 73 |
rm -rf %{buildroot} |
| 74 |
export DESTDIR=%{buildroot} |
| 75 |
export OCAMLFIND_DESTDIR=%{buildroot}/%{_libdir}/ocaml |
| 76 |
mkdir -p $OCAMLFIND_DESTDIR/mascot |
| 77 |
make install PATH_OCAMLFIND="/usr/bin/ocamlfind" |
| 78 |
|
| 79 |
# make an easier command line invocation |
| 80 |
install -d -m 755 %{buildroot}/%{_bindir} |
| 81 |
pushd %{buildroot}%{_bindir}/ |
| 82 |
ln -s \ |
| 83 |
%{_libdir}/ocaml/mascot/mascot.native \ |
| 84 |
mascot |
| 85 |
popd |
| 86 |
|
| 87 |
mkdir -p %{buildroot}%{_mandir}/man1 |
| 88 |
cp %{SOURCE1} %{buildroot}%{_mandir}/man1/mascot.1 |
| 89 |
cp %{SOURCE2} . |
| 90 |
|
| 91 |
%files |
| 92 |
%doc README COPYING CHANGES FEATURES VERSION |
| 93 |
%doc manual/ |
| 94 |
%doc example.conf |
| 95 |
%dir %{_libdir}/ocaml/mascot |
| 96 |
%{_libdir}/ocaml/mascot/META |
| 97 |
%{_libdir}/ocaml/mascot/mascot.byte |
| 98 |
%{_libdir}/ocaml/mascot/mascot.native |
| 99 |
%{_bindir}/mascot |
| 100 |
%{_mandir}/man1/mascot.1* |
| 101 |
|
| 102 |
%files -n %{libname} |
| 103 |
%doc tests/ |
| 104 |
%doc ocamldoc/ |
| 105 |
%{_libdir}/ocaml/mascot/*.cmi |
| 106 |
%{_libdir}/ocaml/mascot/*.cmo |
| 107 |
|
| 108 |
%files -n %{libname}-devel |
| 109 |
%{_libdir}/ocaml/mascot/*.cmx |
| 110 |
%{_libdir}/ocaml/mascot/*.o |
Parent Directory
| 
Revision Log