cancel
Showing results for 
Show  only  | Search instead for 
Did you mean: 
isae
Observer
Observer
680 Views
Registered: ‎12-16-2014

Can't find assert library

Jump to solution

Hello,

I've just installed Ubuntu 18.04LTS because csim is soooo slow on Windows 10... I installed Vivado 2020.1.

When I compile my project with the GUI, I got this cryptic message :

INFO: [SIM 211-4] CSIM will launch GCC as the compiler.
ERROR: [SIM 211-100] CSim file generation failed: compilation error(s).
INFO: [SIM 211-3] *************** CSIM finish ***************
5
while executing
"source /home/adion/bottom-up-approach/kem/hls/kem_150MHz/Reference_Version/csim.tcl"
invoked from within
"hls::main /home/adion/bottom-up-approach/kem/hls/kem_150MHz/Reference_Version/csim.tcl"
("uplevel" body line 1)
invoked from within
"uplevel 1 hls::main {*}$args"
(procedure "hls_proc" line 5)
invoked from within
"hls_proc $argv"
Finished C simulation.

When I try in a terminal with a tcl script, it's a bit more detailed : 

In file included from ../../src/rng.h:16:
../../src/gf.h:12:10: fatal error: 'assert.h' file not found
#include <assert.h>
^
1 error generated.
C preprocessor failed.
while executing
"source kem_150MHz_Reference_Version.tcl"
invoked from within
"hls::main kem_150MHz_Reference_Version.tcl"
("uplevel" body line 1)
invoked from within
"uplevel 1 hls::main {*}$args"
(procedure "hls_proc" line 5)
invoked from within
"hls_proc $argv"

 

So apparently, Vivado HLS doesn't find the library "assert.h", which is a standard C library. I put assert statements in a lot of places in my code, for variable size loops, as recommanded in the user guide...

So does somebody know what is this problem and how to solve it ?

Thanks

0 Kudos
1 Solution

Accepted Solutions
isae
Observer
Observer
655 Views
Registered: ‎12-16-2014

I solved it.

GCC is not installed with Ubuntu, but Vivado consider that it's installed because it's Linux...

So I just installed GCC, and it solved that error.

 

View solution in original post

0 Kudos
1 Reply
isae
Observer
Observer
656 Views
Registered: ‎12-16-2014

I solved it.

GCC is not installed with Ubuntu, but Vivado consider that it's installed because it's Linux...

So I just installed GCC, and it solved that error.

 

View solution in original post

0 Kudos