csmith-project / csmith

Csmith, a random generator of C programs
http://embed.cs.utah.edu/csmith/
Other
1.02k stars 146 forks source link

Install instructions incomplete #140

Open kaddkaka opened 3 years ago

kaddkaka commented 3 years ago

The install instructions for csmith seem to be missing something, the make step failes because there is no Makefile present:

> make
make: *** No targets specified and no makefile found.  Stop.
kaddkaka commented 3 years ago

cmake command from clean cloned github repo results in this (cmake version 3.21.1):

> cmake -DCMAKE_INSTALL_PREFIX=/usr/local .
-- The C compiler identification is Clang 12.0.1
-- The CXX compiler identification is Clang 12.0.1
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/clang - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/clang++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check for libbsd
-- Check for libbsd: found /usr/lib/x86_64-linux-gnu/libbsd.so
-- Looking for bsd/stdlib.h
-- Looking for bsd/stdlib.h - found
-- Looking for dlfcn.h
-- Looking for dlfcn.h - found
-- Looking for inttypes.h
-- Looking for inttypes.h - found
-- Looking for memory.h
-- Looking for memory.h - found
-- Looking for stdint.h
-- Looking for stdint.h - found
-- Looking for stdlib.h
-- Looking for stdlib.h - found
-- Looking for strings.h
-- Looking for strings.h - found
-- Looking for string.h
-- Looking for string.h - found
-- Looking for sys/stat.h
-- Looking for sys/stat.h - found
-- Looking for sys/types.h
-- Looking for sys/types.h - found
-- Looking for unistd.h
-- Looking for unistd.h - found
-- Looking for arc4random_buf
-- Looking for arc4random_buf - found
-- Looking for lrand48
-- Looking for lrand48 - found
-- Looking for srand48_deterministic
-- Looking for srand48_deterministic - not found
-- Check for M4 macro processor
-- Check for M4 macro processor: found /usr/bin/m4
-- Configuring done
-- Generating done
-- Build files have been written to: /home/david/github_clones/csmith