Bug 199998 - math/minisat: Another patch for compiling with recent c++ std.
Summary: math/minisat: Another patch for compiling with recent c++ std.
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Vsevolod Stakhov
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-05-06 15:37 UTC by Gleb Popov
Modified: 2015-07-13 11:54 UTC (History)
0 users

See Also:
bugzilla: maintainer-feedback? (vsevolod)

Attachments
Patch ready to be included in files/ (820 bytes, patch)
2015-05-06 15:37 UTC, Gleb Popov 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Gleb Popov freebsd_committer freebsd_triage 2015-05-06 15:37:40 UTC 
Created attachment 156431 [details]
Patch ready to be included in files/

This patch was obtained there: https://github.com/stp/minisat/commit/c5542734baba00acf27d013e1d549e4dd0903916

It allows code that use minisat headers to be compiled with -std=c++11.
Comment 1 commit-hook freebsd_committer freebsd_triage 2015-06-26 23:11:04 UTC 
A commit references this bug:

Author: amdmi3
Date: Fri Jun 26 23:10:11 UTC 2015
New revision: 390672
URL: https://svnweb.freebsd.org/changeset/ports/390672

Log:
  - Fix compatibility with c++11

  While here:
  - Add LICENSE
  - Strip binaries
  - Regenerate patches
  - Sort plist

  PR:		199998
  Submitted by:	6yearold@gmail.com
  Approved by:	maintainer timeout (vsevolod, 7 weeks)

Changes:
  head/math/minisat/Makefile
  head/math/minisat/files/patch-minisat-core-SolverTypes.h
  head/math/minisat/files/patch-minisat_core_SolverTypes.h
  head/math/minisat/files/patch-minisat_utils_Options.h
  head/math/minisat/pkg-plist
Comment 2 Vsevolod Stakhov freebsd_committer freebsd_triage 2015-07-13 11:54:33 UTC 
The proposed patch has been already committed, thanks!