forked from pool/coccinelle
54 lines
1.5 KiB
RPMSpec
54 lines
1.5 KiB
RPMSpec
|
|
||
|
Name: coccinelle
|
||
|
Version: 0.2.1
|
||
|
Release: 0
|
||
|
Summary: Semantic patch utility
|
||
|
License: GPL2
|
||
|
Group: Productivity/Text/Utilities
|
||
|
URL: http://www.emn.fr/x-info/coccinelle/
|
||
|
|
||
|
#Source: http://coccinelle.lip6.fr/distrib/coccinelle-0.2.1.tgz
|
||
|
Source: %name-%version.tar.bz2
|
||
|
BuildRoot: %_tmppath/%name-%version-build
|
||
|
BuildRequires: ncurses-devel ocaml python-devel
|
||
|
|
||
|
%description
|
||
|
Coccinelle is a program matching and transformation engine which
|
||
|
provides the language SmPL (Semantic Patch Language) for specifying
|
||
|
desired matches and transformations in C code. Coccinelle was
|
||
|
initially targeted towards performing collateral evolutions in Linux.
|
||
|
Such evolutions comprise the changes that are needed in client code
|
||
|
in response to evolutions in library APIs, and may include
|
||
|
modifications such as renaming a function, adding a function argument
|
||
|
whose value is somehow context-dependent, and reorganizing a data
|
||
|
structure. Beyond collateral evolutions, Coccinelle is successfully
|
||
|
used (by us and others) for finding and fixing bugs in systems code.
|
||
|
|
||
|
%prep
|
||
|
%setup -q
|
||
|
|
||
|
%build
|
||
|
./configure --prefix=%_prefix --opt
|
||
|
make %{?_smp_mflags}
|
||
|
|
||
|
%install
|
||
|
b="%buildroot"
|
||
|
rm -Rf "$b"
|
||
|
mkdir "$b"
|
||
|
#make install DESTDIR="%buildroot"
|
||
|
#
|
||
|
# We primarily want spatch.
|
||
|
#
|
||
|
mkdir -p "$b/%_bindir" "$b/%_mandir/man1"
|
||
|
install -pm0755 spatch "$b/%_bindir/"
|
||
|
install -pm0644 docs/spatch.1 "$b/%_mandir/man1/"
|
||
|
|
||
|
%files
|
||
|
%defattr(-,root,root)
|
||
|
%_bindir/*
|
||
|
%doc %_mandir/*/*
|
||
|
%doc authors.txt bugs.txt changes.txt copyright.txt credits.txt
|
||
|
%doc license.txt readme.txt
|
||
|
|
||
|
%changelog
|