[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