Issue1175

Title "vagrant up" fails, complaining about missing method "File.exists?"
Priority bug Status resolved
Superseder Nosy List jendrik, malte
Assigned To malte Keywords
Optional summary

Created on 2025-02-07.16:35:00 by malte, last changed by malte.

Messages
msg11780 (view) Author: malte Date: 2025-02-07.16:35:24
Fixed and used for Fast Downward 24.06.1. We are not changing the old Vagrantfiles retroactively.
msg11779 (view) Author: malte Date: 2025-02-07.16:34:59
It looks like there was an API change in Vagrant that broke our Vagrantfile.
Instead of "File.exists?", we must now use "File.file?".

The breakage only happened when the environment variable for building with CPLEX was set because the now-defunct method was only used in this branch.
History
Date User Action Args
2025-02-07 16:35:31maltesetstatus: chatting -> resolved
2025-02-07 16:35:24maltesetmessages: + msg11780
2025-02-07 16:35:00maltecreate