Attachment 839951 Details for Bug 1045694 – Pass -g to ocamlopt, don't strip executable too early

[patch] Pass -g to ocamlopt, don't strip executable too early

0001-Pass-g-to-ocamlopt-don-t-strip-executable-too-early.patch (text/plain), 1.39 KB, created by Ville Skyttä on 2013-12-21 09:07:28 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Ville Skyttä

Created: 2013-12-21 09:07:28 UTC

Size: 1.39 KB

patch

obsolete

>From 1087d49582efb84162b42861cdd4a53462437993 Mon Sep 17 00:00:00 2001
>From: =?UTF-8?q?Ville=20Skytt=C3=A4?= <ville.skytta@iki.fi>
>Date: Sat, 21 Dec 2013 11:06:42 +0200
>Subject: [PATCH] Pass -g to ocamlopt, don't strip executable too early.
>
>---
> zenon.spec | 7 +++++--
> 1 file changed, 5 insertions(+), 2 deletions(-)
>
>diff --git a/zenon.spec b/zenon.spec
>index 0acaf41..e1604c4 100644
>--- a/zenon.spec
>+++ b/zenon.spec
>@@ -2,7 +2,7 @@
> 
> Name:		zenon
> Version:	0.7.1
>-Release:	8%{?dist}
>+Release:	9%{?dist}
> Summary:	Automated theorem prover for first-order classical logic
> Group:		Applications/Engineering
> License:	BSD
>@@ -51,6 +51,7 @@ CAML_LIB_DIR=%{_libdir}/ocaml \
> COQ_LIB_DIR=%{_libdir}/coq \
> ZENON_LIB_DIR=%{_datadir}/%{name} \
> ZVTOV_LIB_DIR=%{_datadir}/zvtov \
>+BIN_DEBUG_FLAGS=-g \
> ./configure -prefix %{_prefix} -tools_prefix %{_prefix} -coq_rc '~/.coqrc' \
>   -sum md5sum
> 
>@@ -62,7 +63,6 @@ cp -p %{SOURCE3} examples/tptp-ReadMe
> %if %opt
>   make %{?_smp_mflags} zenon.bin coq
>   cp -p zenon.bin zenon
>-  strip zenon
> %else
>   make %{?_smp_mflags} zenon.byt coq
>   cp -p zenon.byt zenon
>@@ -107,6 +107,9 @@ fi
> %{_mandir}/man5/*
> 
> %changelog
>+* Sat Dec 21 2013 Ville SkyttÃ¤ <ville.skytta@iki.fi> - 0.7.1-9
>+- Pass -g to ocamlopt, don't strip executable too early.
>+
> * Wed Dec 18 2013 Jerry James <loganjerry@gmail.com> - 0.7.1-8
> - Rebuild for coq 8.4pl3
> - Enable debuginfo generation
>-- 
>1.8.3.1
>

Actions: View | Diff

Attachments on bug 1045694: 839951