[SCIP] Missing header files after install

[Gregor Hendel]

Dear André,

thank you for the information, I am sorry for your troubles. Our entire 
build system is currently under revision, anyway, and your feedback is 
very welcome. Seemingly, only few people use the "make install" target 
of SCIP. For you, it is safe to copy the missing headers manually.

Best regards,
Gregor

Am 21.06.2017 um 16:10 schrieb André L. Maravilha:
> Hello,
>
> I'm a Ph.D. student in Electrical Engineering at Universidade Federal 
> de Minas Gerais (UFMG, Brazil). My research focuses on the development 
> of MIP heuristics and I'm using SCIP 4.0.0.
>
> After compiling and installing SCIP (using "make" and "make install", 
> with all parameters that are needed), I noticed that the files 
> "objscip.h" and "objscipdefplugins.h" (among others) were not copied 
> to the directory where SCIP was installed. Thus, my project always 
> need to refer to SCIP source folder to be able to compile. Is that the 
> expected behavior or is that bug in the installation process?
>
> SCIP's documentation does not contain anything about this issue. Then, 
> it leads us to assume that all header files in the folder "src" of 
> SCIP's source code will be copied to the installation directory.
>
> -- 
> André L. Maravilha
> Operations Research and Complex Systems Laboratory, ORCS Lab
> Universidade Federal de Minas Gerais, UFMG
> http://orcslab.cpdee.ufmg.br <http://orcslab.cpdee.ufmg.br/>|Belo 
> Horizonte, Brazil
> <http://linkedin.com/in/andrelms> 	<http://github.com/andremaravilha>
>
>
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20170621/9440eeac/attachment.html>