From b91f6db17ee30efd2068efbeecbf1d2b4c3850ea Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Dec 2021 20:06:34 +0000 Subject: Add bourdoncle to build --- src/Compiler.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Compiler.v') diff --git a/src/Compiler.v b/src/Compiler.v index e4ab607..b907629 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -67,7 +67,7 @@ Require vericert.hls.RTLBlockgen. Require vericert.hls.RTLPargen. Require vericert.hls.RTLParFUgen. Require vericert.hls.HTLPargen. -Require vericert.hls.Pipeline. +(*Require vericert.hls.Pipeline.*) Require vericert.hls.IfConversion. (*Require vericert.hls.PipelineOp.*) Require vericert.HLSOpts. -- cgit