[Hol-info] Installing CSDP

[Stephen B. <ste...@ve...>]

I'm trying to install CSDP, using ATLAS as my source for the BLAS and LAPACK
libraries, in order to use INT_SOS in HOL Light.  I got ATLAS installed, but
the CSDP installation instructions are too cryptic for me.  Will someone
who's succeeded in installing CSDP please send me copies of their
<CSDPdir>/solver/Makefile and <CSDPdir>/theta/Makefile files so I can use
them as examples of how to tell the linker where to find all the things it
needs for CSDP?

 

Steve