Issue 1103: Try compiling each CMake plugin/library as its own library - Fast Downward issue tracker

Title	Try compiling each CMake plugin/library as its own library
Priority	feature	Status	chatting
Superseder		Nosy List	florian, jendrik, malte, silvan
Assigned To		Keywords
Optional summary	Depends on issue1097 Ideas/TODOs (1) Make our interface libraries actual libraries. (2) Think about install step. (3) Offer our own config package. (4) Think about how versioning should work.

Created on 2023-07-31.19:44:46 by florian, last changed by florian.

Summary
Depends on issue1097 Ideas/TODOs (1) Make our interface libraries actual libraries. (2) Think about install step. (3) Offer our own config package. (4) Think about how versioning should work.

Messages
msg11265 (view)	Author: florian	Date: 2023-08-06.14:52:55
This stackoverflow answer has some useful guidelines: https://stackoverflow.com/a/56288628
msg11248 (view)	Author: florian	Date: 2023-07-31.19:44:46
Once issue1097 is merged, we want to experiment with turning the interface libraries introduced there into actual libraries.

History
Date	User	Action	Args
2023-08-06 14:52:55	florian	set	status: unread -> chatting messages: + msg11265
2023-07-31 19:44:46	florian	create