Issue 829: CMake: build should fail if a module is missing - Fast Downward issue tracker

Title	CMake: build should fail if a module is missing
Priority	wish	Status	resolved
Superseder		Nosy List	cedric, jendrik, malte, silvan
Assigned To		Keywords
Optional summary

Created on 2018-09-18.22:34:02 by jendrik, last changed by jendrik.

Messages
msg10201 (view)	Author: jendrik	Date: 2021-03-18.14:52:07
I currently don't plan to pursue this, so I'm closing the issue. Feel free to reopen.
msg7549 (view)	Author: silvan	Date: 2018-09-18.22:56:58
I noticed exactly the same thing today :-)
msg7547 (view)	Author: jendrik	Date: 2018-09-18.22:34:02
Currently, the build completes without errors if I add non-existent module names to DownwardFiles.cmake. Example: add "foobar" under CORE_SOURCES->SOURCES.

History
Date	User	Action	Args
2021-03-18 14:52:12	jendrik	set	status: chatting -> resolved
2021-03-18 14:52:07	jendrik	set	messages: + msg10201
2018-09-19 08:37:49	cedric	set	nosy: + cedric
2018-09-18 22:56:58	silvan	set	status: unread -> chatting nosy: + silvan messages: + msg7549
2018-09-18 22:34:02	jendrik	create