#58 closed defect (fixed)

Build fails: Directory nonexistent

Reported by:	Marek Chalupa	Owned by:	mornfall
Priority:	minor	Milestone:	5.0
Component:	other	Keywords:
Cc:

Description

Hi,

this error is raised when building DIVINE, commit 29c9e5ef04d. I used a clean build, just manually set 'Z3_*' variables. The problem is that the directory sys/ does not exist.

[ 51%] Generating include/sys/hostabi.h
/bin/sh: 1: cannot create /var/tmp/xchalup4/divine/_build.release/dios/include/sys/hostabi.h: Directory nonexistent
make[6]: * [dios/CMakeFiles/divine-rt.dir/build.make:5474: dios/include/sys/hostabi.h] Error 2
make[5]: * [CMakeFiles/Makefile2:35940: dios/CMakeFiles/divine-rt.dir/all] Error 2
make[4]: * [CMakeFiles/Makefile2:39260: tools/CMakeFiles/divine.dir/rule] Error 2
make[3]: * [Makefile:10898: divine] Error 2
make[2]: * [Makefile:100: build] Error 2
make[1]: * [Makefile:117: release-divine] Error 2
make: * [Makefile:73: release] Error 2

Change History (3)

comment:1 Changed 6 years ago by Vladimír Štill

I have seen a similar problem when building with make. It seems like Ninja (which we use by default) will silently create the directory. Please check that adding file( MAKE_DIRECTORY ${SYSINC} ) after line 28 into dios/CMakeLists.txt fixes the problem.

comment:2 Changed 6 years ago by Marek Chalupa

Yes, it fixes the problem.

comment:3 Changed 5 years ago by mornfall

Resolution:	→ fixed
Status:	new → closed

I assume this got fixed by the following patch:

patch 8c55c56b1fab6e10d8e50760af714453531fd8ff
Author: Vladimir Still <xstill@fi.muni.cz>
Date:   Wed Apr  3 16:19:13 CEST 2019
  * dios: Fix missing SYSINC directory when building with make.

Note: See TracTickets for help on using tickets.