[SCIP] Missing header files when using `make install`

[Matthias Miltenberger]

Dear Robert,

this question has just been answered:

http://listserv.zib.de/pipermail/scip/2017-June/003143.html
http://listserv.zib.de/pipermail/scip/2017-June/003144.html

There is nothing we're going to do about that right now. Please wait for 
the next bugfix release.
In the meantime you'll have to copy the header files yourself.

best regards,
Matthias

On 25.06.2017 23:16, robert.schuetz at stud.uni-heidelberg.de wrote:
> Hey all,
>
> I installed SCIP using
>      make SHARED=true ZIMPL=false INSTALLDIR=$out install
> Aftwerwards, I find the header files in $out/include.
> However, some C++ headers are missing:
> - objscip/objscip.h
> - objscip/objpricer.h is there, while objscip/objprobcloneable.h is
>    referenced in the former file but not installed
> - and many more
> Is this intentional?
> Of course, I can simply copy these files from src/objscip/, but it would
> be nice if `make install` behaved correctly.
>
> Yours, Robert
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip

-- 
\__________________

Matthias Miltenberger
Zuse Institute Berlin
Takustr. 7, 14195 Berlin
www.zib.de/miltenberger
miltenberger at zib.de
+49 (30) 841 85-245