rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity

- Add patch tag.

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=13
This commit is contained in:
Aaron Puchert 2020-03-29 22:22:42 +00:00 committed by Git OBS Bridge
parent c327875f86
commit 9476266733
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
coq.spec
View File

@ -29,7 +29,7 @@ Source1: coq.desktop
Source2: coq.xml
Source100: %{name}-rpmlintrc
# https://github.com/ppedrot/coq/commit/ae000c9efc256675ce1d56ba27ed7f99e0540ff3
Patch0: ocaml-410-build.patch
Patch1: ocaml-410-build.patch
BuildRequires: desktop-file-utils
BuildRequires: memory-constraints
# Required for standard coq:
@ -79,7 +79,7 @@ This package contains development files for Coq.
%prep
%setup -q
%patch -p1
%patch1 -p1
%build
export CFLAGS='%{optflags}'