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

robert.schuetz at stud.uni-heidelberg.de robert.schuetz at stud.uni-heidelberg.de
Sun Jun 25 23:16:18 CEST 2017


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


More information about the Scip mailing list