From ce540b5dd404f1d5d8cf681aa30e054f3b6f0857 Mon Sep 17 00:00:00 2001
From: RIGUZZI FABRIZIO - Dipartimento di Ingegneria <rzf@cluster.(none)>
Date: Mon, 15 Mar 2010 09:51:39 +0100
Subject: [PATCH 1/2] Fixed compilation of cplint under new packages folder

---
 packages/cplint/doc/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 packages/cplint/doc/Makefile

diff --git a/packages/cplint/doc/Makefile b/packages/cplint/doc/Makefile
new file mode 100644
index 000000000..786d90969
--- /dev/null
+++ b/packages/cplint/doc/Makefile
@@ -0,0 +1,8 @@
+
+manual.pdf: manual.tex manual.bbl
+	pdflatex manual
+	pdflatex manual
+
+manual.html: manual.tex manual.bbl
+	htlatex manual
+

From 3742f09c1022bf60dbdb6f5344d14fb4682ef604 Mon Sep 17 00:00:00 2001
From: Ricardo Rocha <ricroc@phobia.dcc.fc.up.pt>
Date: Mon, 15 Mar 2010 14:21:16 +0000
Subject: [PATCH 2/2] missing brackets in condition using macro
 new_dependency_frame()

---
 OPTYap/opt.init.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/OPTYap/opt.init.c b/OPTYap/opt.init.c
index 3e579399b..80d9dd5b2 100644
--- a/OPTYap/opt.init.c
+++ b/OPTYap/opt.init.c
@@ -231,8 +231,9 @@ void make_root_frames(void) {
 
 #ifdef TABLING
   /* root dependency frame */
-  if (!GLOBAL_root_dep_fr)
+  if (!GLOBAL_root_dep_fr) {
     new_dependency_frame(GLOBAL_root_dep_fr, FALSE, NULL, NULL, NULL, NULL, NULL);
+  }
 #endif /* TABLING */
 }