[PPL-devel] [GIT] ppl/ppl(pip): Fixed missing make dependency for recently added header file.
François Galea
francois.galea at uvsq.fr
Mon Sep 7 14:02:39 CEST 2009
Module: ppl/ppl
Branch: pip
Commit: 544e8ba18471243e740b81f9e4d4f05b839788eb
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=544e8ba18471243e740b81f9e4d4f05b839788eb
Author: François Galea <francois.galea at uvsq.fr>
Date: Fri Sep 4 18:25:13 2009 +0200
Fixed missing make dependency for recently added header file.
---
src/Makefile.am | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/Makefile.am b/src/Makefile.am
index b50562d..2160973 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -276,6 +276,7 @@ PIP_Tree.defs.hh \
PIP_Tree.inlines.hh \
PIP_Problem.defs.hh \
PIP_Problem.inlines.hh \
+PIP_Problem.templates.hh \
Poly_Con_Relation.defs.hh \
Poly_Con_Relation.inlines.hh \
Poly_Gen_Relation.defs.hh \
More information about the PPL-devel
mailing list