1 2 3 4 5 6 7 8
#include <stdio.h> extern int ghdl_main(int argc, char** argv); int main(int argc, char** argv) { printf("ghdl_main: %d\n", ghdl_main(argc, argv)); return 0; }