Closed mole99 closed 1 year ago
I am also seeing this issue on linux mint 21. Were you able to find a solution?
I haven't seen a solution to this and do not have time to work on it. I only imported a copy of the sources here because we fixed one or two other problems.
Thanks for the update, I assumed that cambridgehackers were the original maintainers.
After looking at this, I found that these two variables where not declared "extern" in the header. See #5 for patch.
Awesome! CVC now builds for me on debian bookworm and I can run the installation tests without errors.
Thanks, that solves this issue.
Hi, I am trying to compile CVC on debian bookworm (testing) by calling
make -f makefile.cvc64
.At first it looks promising, but at the stage where the linker is invoked using
ld --relocatable -o cvclib.o cvc_rt.o v_src_rt.o v_src2.o v_src3.o v_fx_rt.o v_genfx_rt.o v_fx2_rt.o v_fx3_rt.o v_cnv.o v_ex.o v_ex2.o v_ex3.o v_ex4.o v_trch.o v_del.o v_sdf.o v_prp.o v_prp2.o v_sim.o v_dbg.o v_dbg2.o v_cvr.o v_ms_rt.o v_tf.o v_acc.o v_vpi.o v_vpi2.o v_vpi3.o v_aslib.o v_cvcrt.o v_xprop.o v_dpi.o fstapi.o fastlz.o lz4.o
I get the following errors:
My gcc version:
Maybe someone has an idea what I could try to solve this issue.
Attached is the complete output: output.log