Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
analysis
checkers
comparison
kbuild
kconfig
lib
scripts
tests
validation
.gitignore
README

README

[Dependencies]

lockfile (https://github.com/smontanaro/pylockfile)
setup python.py install --user

enum34 (https://pypi.python.org/packages/source/e/enum34/enum34-1.0.tar.gz#md5=9d57f5454c70c11707998ea26c1b0a7c)
setup python.py install --user

pycudd (http://bears.ece.ucsb.edu/ftp/pub/pycudd2.0/pycudd2.0.2.tar.gz)
make sure to edit the cudd-2.4.2/Makefile to build a 64-bit version

cudd-2.4.2:
make CPPFLAGS=-fPIC
make CPPFLAGS=-fPIC libso
make -C cudd CPPFLAGS=-fPIC libso cudd
make -C dddmp CPPFLAGS=-fPIC libso dddmp
make -C epd CPPFLAGS=-fPIC libso epd
make -C mtr CPPFLAGS=-fPIC libso mtr
make -C st CPPFLAGS=-fPIC libso st
make -C util CPPFLAGS=-fPIC libso util

pycudd:
make FLAGS="-I /opt/python/include/python2.7/ -fPIC"

[Build]

check_dep:
cd kconfig
make

pymake:
cd kbuild
make

[Environment]

KMAX_ROOT=$CPPDIR/kmax  # point to kmax root directory
SCRATCH=/state/partition1  # provide a scratch directory for linux instances
PATH=$PATH:$KMAX_ROOT/kconfig:$KMAX_ROOT/kbuild:$KMAX_ROOT/analysis
export KMAX_ROOT SCRATCH PATH

# put pycudd and kmax lib in the python path
PYTHONPATH=$PYTHONPATH:~/src/pycudd2.0.2/pycudd:$KMAX_ROOT/lib
export PYTHONPATH

# put cudd libraries in the load path
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:~/src/pycudd2.0.2/cudd-2.4.2/lib
export LD_LIBRARY_PATH

[Example]

python analysis/collect_buildsystem.py 4.0 x86

This will download and collect all compilation units and presence
conditions from v4.0 of the Linux kernel source.