Opened 5 years ago

Closed 5 years ago

#58 closed defect (fixed)

Build fails: Directory nonexistent

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



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
* [CMakeFiles/Makefile2:35940: dios/CMakeFiles/divine-rt.dir/all] Error 2
make[4]: * [CMakeFiles/Makefile2:39260: tools/CMakeFiles/divine.dir/rule] Error 2
* [Makefile:10898: divine] Error 2
make[2]: * [Makefile:100: build] Error 2
* [Makefile:117: release-divine] Error 2
make: * [Makefile:73: release] Error 2

Change History (3)

comment:1 Changed 5 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 5 years ago by Marek Chalupa

Yes, it fixes the problem.

comment:3 Changed 5 years ago by mornfall

Resolution: fixed
Status: newclosed

I assume this got fixed by the following patch:

patch 8c55c56b1fab6e10d8e50760af714453531fd8ff
Author: Vladimir Still <>
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.