[PPL-devel] [GIT] ppl/ppl(master): Build restored.

Roberto Bagnara bagnara at cs.unipr.it
Mon Mar 23 22:30:06 CET 2009


Module: ppl/ppl
Branch: master
Commit: 09c6fe37dac83e5128da517351beb91ef69da1c3
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c6fe37dac83e5128da517351beb91ef69da1c3

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 23 22:29:56 2009 +0100

Build restored.

---

 interfaces/C/tests/formatted_output.c |    2 ++
 interfaces/C/tests/print_to_buffer.c  |    2 ++
 2 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/interfaces/C/tests/formatted_output.c b/interfaces/C/tests/formatted_output.c
index 4fa8d3f..2f47073 100644
--- a/interfaces/C/tests/formatted_output.c
+++ b/interfaces/C/tests/formatted_output.c
@@ -29,6 +29,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 
 int
 main() {
+#if 0
   int i;
   mpz_t z;
   ppl_Coefficient_t coeff;
@@ -57,5 +58,6 @@ main() {
       printf("    %s\n", p);
   }
   ppl_delete_Constraint_System(cs);
+#endif
   return 0;
 }
diff --git a/interfaces/C/tests/print_to_buffer.c b/interfaces/C/tests/print_to_buffer.c
index 87a81e4..b9c5519 100644
--- a/interfaces/C/tests/print_to_buffer.c
+++ b/interfaces/C/tests/print_to_buffer.c
@@ -84,6 +84,7 @@ print_ppl_##Name##_t_to_buffer(ppl_const_##Name##_t p,			\
   return buf;								\
 }
 
+#if 0
 DEFINE_PRINT_TO_BUFFER(Coefficient)
 
 DEFINE_PRINT_TO_BUFFER(Linear_Expression)
@@ -105,3 +106,4 @@ DEFINE_PRINT_TO_BUFFER(Grid_Generator)
 DEFINE_PRINT_TO_BUFFER(Grid_Generator_System)
 
 DEFINE_PRINT_TO_BUFFER(MIP_Problem)
+#endif




More information about the PPL-devel mailing list