rpms
/
ocaml-cil
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rebuild for OCaml 4.04.0.

This commit is contained in:
Richard W.M. Jones 2016-11-07 21:42:01 +00:00
parent 2f2f6e6f8b
commit d148257dab
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
ocaml-cil.spec
View File

@ -5,12 +5,12 @@
Name: ocaml-cil
Version: 1.7.3
Release: 26%{?dist}
Release: 27%{?dist}
Summary: CIL - Infrastructure for C Program Analysis and Transformation
License: BSD
URL: http://cil.sourceforge.net/
Source0: http://downloads.sourceforge.net/cil/cil-%{version}.tar.gz
URL: https://github.com/cil-project/cil
Source0: https://github.com/cil-project/cil/archive/cil-%{version}.tar.gz
BuildRequires: ocaml, ocaml-findlib-devel, ocaml-ocamldoc
@ -192,6 +192,9 @@ rm -rf $RPM_BUILD_ROOT
%changelog
* Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-27
- Rebuild for OCaml 4.04.0.
* Wed Oct 19 2016 Dan Horák <dan[at]danny.cz> - 1.7.3-26
- disable debuginfo subpackage on interpreted builds