tjh.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
fork
Configure Feed
Select the types of activity you want to include in your feed.
1diff -uwr buddy-2.4.orig/examples/bddcalc/parser.yxx buddy-2.4/examples/bddcalc/parser.yxx
2--- buddy-2.4.orig/examples/bddcalc/parser.yxx 2009-07-02 17:12:48.000000000 +0200
3+++ buddy-2.4/examples/bddcalc/parser.yxx 2009-07-02 17:18:36.000000000 +0200
4@@ -7,6 +7,7 @@
5
6 %{
7 #include <string>
8+#include <cstdlib>
9 #include <stdarg.h>
10 #include <fstream>
11 #include <getopt.h>
12diff -uwr buddy-2.4.orig/src/bddtest.cxx buddy-2.4/src/bddtest.cxx
13--- buddy-2.4.orig/src/bddtest.cxx 2009-07-02 17:12:48.000000000 +0200
14+++ buddy-2.4/src/bddtest.cxx 2009-07-02 17:14:05.000000000 +0200
15@@ -28,6 +28,7 @@
16 ========================================================================*/
17
18 #include <string>
19+#include <cstdlib>
20 #include "bdd.h"
21 #include "bvec.h"
22