[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