Commit d6dd623b authored by Fabian Wolff's avatar Fabian Wolff

Install some examples with the -dev package

parent f65f73e5
......@@ -9,6 +9,7 @@ cvc4 (1.6-1) UNRELEASED; urgency=medium
* Refresh patches.
* Remove 02-include-paths.patch (fixed upstream).
* Install NEWS file as upstream changelog.
* Install some examples with the -dev package.
-- Fabian Wolff <fabi.wolff@arcor.de> Sun, 07 Jan 2018 16:19:48 +0100
......
Description: Fix #include directives in some examples
Author: Fabian Wolff <fabi.wolff@arcor.de>
Last-Update: 2018-07-29
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/examples/api/bitvectors.cpp
+++ b/examples/api/bitvectors.cpp
@@ -16,8 +16,7 @@
#include <iostream>
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
+#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
--- a/examples/api/bitvectors_and_arrays.cpp
+++ b/examples/api/bitvectors_and_arrays.cpp
@@ -16,8 +16,7 @@
#include <iostream>
#include <cmath>
-// #include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
+#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
--- a/examples/api/combination.cpp
+++ b/examples/api/combination.cpp
@@ -18,8 +18,7 @@
#include <iostream>
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
+#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
--- a/examples/api/datatypes.cpp
+++ b/examples/api/datatypes.cpp
@@ -15,9 +15,7 @@
**/
#include <iostream>
-#include "options/language.h" // for use with make examples
-#include "smt/smt_engine.h" // for use with make examples
-//#include <cvc4/cvc4.h> // To follow the wiki
+#include <cvc4/cvc4.h>
using namespace CVC4;
--- a/examples/api/extract.cpp
+++ b/examples/api/extract.cpp
@@ -16,8 +16,7 @@
#include <iostream>
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
+#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
--- a/examples/api/helloworld.cpp
+++ b/examples/api/helloworld.cpp
@@ -16,11 +16,7 @@
#include <iostream>
-#ifdef CVC4_MAKE_EXAMPLES
-#include "smt/smt_engine.h" // for use with make examples
-#else
-#include <cvc4/cvc4.h> // To follow the wiki
-#endif /* CVC4_MAKE_EXAMPLES */
+#include <cvc4/cvc4.h>
using namespace CVC4;
int main() {
--- a/examples/api/linear_arith.cpp
+++ b/examples/api/linear_arith.cpp
@@ -17,8 +17,7 @@
#include <iostream>
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
+#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
--- a/examples/api/sets.cpp
+++ b/examples/api/sets.cpp
@@ -16,9 +16,7 @@
#include <iostream>
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
-#include "options/set_language.h"
+#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
--- a/examples/api/strings.cpp
+++ b/examples/api/strings.cpp
@@ -16,9 +16,7 @@
#include <iostream>
-//#include <cvc4/cvc4.h> // use this after CVC4 is properly installed
-#include "smt/smt_engine.h"
-#include "options/set_language.h"
+#include <cvc4/cvc4.h>
using namespace CVC4;
01-timestamps.patch
02-man-pages.patch
03-examples.patch
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment