Building polybori under FreeBSD

[sagetrac-stephen]

I need this patch to build under FreeBSD:

--- src/polybori-0.8.0/Cudd/cudd/cudd.h-orig 2012-02-09 03:18:02.000000000 +0000
+++ src/polybori-0.8.0/Cudd/cudd/cudd.h 2012-02-09 03:19:20.000000000 +0000
@@ -82,6 +82,12 @@
 
 #endif
 
+#ifdef __cplusplus
+#include <cstdio>
+#else
+#include <stdio.h>
+#endif
+
 #ifdef __cplusplus
 extern "C" {
 #endif

This patch should be harmless to all builds under other OS.

---

Duplicate of #13124.

Depends on #13124

Upstream: Fixed upstream, in a later stable release.

CC: @alexanderdreyer

Component: porting: BSD

Keywords: FreeBSD polybori

Reviewer: Stephen Montgomery-Smith, Alexander Dreyer, Karl-Dieter Crisman

Issue created by migration from https://trac.sagemath.org/ticket/12818

[sagetrac-stephen]

patch for cudd.h

[sagetrac-stephen]

Attachment: Cudd.cudd.cudd.h.gz

patch for spkg-install

[sagetrac-stephen]

comment:1

Attachment: spkg-patch-polybori-0.8.0.p2_-_spkg_install.gz

[alexanderdreyer]

Upstream: Fixed upstream, in a later stable release.

[alexanderdreyer]

comment:2

Thanks, the patch will be part of polybori-0.8.2, see https://bitbucket.org/brickenstein/polybori/changeset/8aed782d9baf .

[kcrisman]

Author: Stephen Montgomery-Smith

[kcrisman]

comment:3

Is there an ETA on when that will be in Sage, or should we try to make an spkg update?

[kcrisman]

Reviewer: Alexander Dreyer

[alexanderdreyer]

comment:4

Meanwhile the new spkg is at #13124. Feel free to try it out. If it solves you problem, this one may be considered as a duplicate of #13124.

[kcrisman]

Changed reviewer from Alexander Dreyer to Alexander Dreyer, Karl-Dieter Crisman

[kcrisman]

comment:5

I can confirm that the patch in question is included in #13124. Since this is definitely the only thing from the FreeBSD port list from polybori, I think that we can close this ticket.

[kcrisman]

Dependencies: #13124

[sagetrac-stephen]

comment:8

I can confirm that ticket #13124 fixes this problem for FreeBSD.

[alexanderdreyer]

comment:9

Duplicate of #13124.

[jdemeyer]

Changed reviewer from Alexander Dreyer, Karl-Dieter Crisman to Stephen Montgomery-Smith, Alexander Dreyer, Karl-Dieter Crisman

[jdemeyer]

Changed author from Stephen Montgomery-Smith to none