Files
genode-world/lib/import/import-scip.mk
2016-03-21 11:36:57 +01:00

2 lines
50 B
Makefile

INC_DIR += $(call select_from_ports,scip)/include