From: Morgan Deters Date: Mon, 10 Sep 2012 14:26:48 +0000 (+0000) Subject: list portfolio_util.h in Makefile, so it gets distributed (fixes debian build) X-Git-Tag: cvc5-1.0.0~7820 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=28a413e59f035841cf61c8ba1e3d1b575d1d89d1;p=cvc5.git list portfolio_util.h in Makefile, so it gets distributed (fixes debian build) --- diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 2a1ce0d55..4524929d4 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -20,6 +20,7 @@ pcvc4_SOURCES = \ portfolio.cpp \ portfolio.h \ portfolio_util.cpp \ + portfolio_util.h \ command_executor.cpp \ command_executor_portfolio.cpp \ command_executor.h \