I did what you've suggested and I've got the following errors.
Apr 07 2020 08:14:48 components: Build SPARK (debug)
Apr 07 2020 08:14:48 components: Build SPARK (debug): FAILED, check '/home/user/work/all_git/muen.git/muen/components/obj/components.log.build_spark_debug'
Apr 07 2020 08:14:48 components: Build SPARK (debug): FAILED, last 5 lines:
libhwbase.gpr:8:07: "../libhwbase/tmp/libhwbase/common/mutime" is not a valid directory
libhwbase.gpr:15:07: unknown file "hw-file.ads"
libhwbase.gpr:8:07: "../libhwbase/tmp/libhwbase/common/mutime" is not a valid directory
libhwbase.gpr:15:07: unknown file "hw-file.ads"
gprbuild: "/home/user/work/all_git/muen.git/muen/components/obj/build.gpr" processing failed
Best regards,
S.P.