You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
43 lines
1.6 KiB
43 lines
1.6 KiB
# --- ROCK-COPYRIGHT-NOTE-BEGIN ---
|
|
#
|
|
# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
|
|
# Please add additional copyright information _after_ the line containing
|
|
# the ROCK-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by
|
|
# the ./scripts/Create-CopyPatch script. Do not edit this copyright text!
|
|
#
|
|
# ROCK Linux: rock-src/package/avm/cudd/cudd.conf
|
|
# ROCK Linux is Copyright (C) 1998 - 2006 Clifford Wolf
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 2 of the License, or
|
|
# (at your option) any later version. A copy of the GNU General Public
|
|
# License can be found at Documentation/COPYING.
|
|
#
|
|
# Many people helped and are helping developing ROCK Linux. Please
|
|
# have a look at http://www.rocklinux.org/ and the Documentation/TEAM
|
|
# file for details.
|
|
#
|
|
# --- ROCK-COPYRIGHT-NOTE-END ---
|
|
|
|
hook_add premake 3 'echo -e "install:\n\t@echo \"No install here :-(\"\n" >> Makefile'
|
|
hook_add postmake 3 "cudd_postm"
|
|
|
|
cudd_postm() {
|
|
mkdir -p $includedir/cudd
|
|
install -v include/*.h $includedir/cudd/
|
|
mkdir -p $libdir/cudd
|
|
install -v cudd/libcudd.a $libdir/cudd/
|
|
install -v dddmp/libdddmp.a $libdir/cudd/
|
|
install -v epd/libepd.a $libdir/cudd/
|
|
install -v mtr/libmtr.a $libdir/cudd/
|
|
install -v st/libst.a $libdir/cudd/
|
|
install -v util/libutil.a $libdir/cudd/
|
|
install -v nanotrav/nanotrav $bindir/
|
|
for i in $(find */doc -type d); do
|
|
mkdir -p $docdir/${i/#*doc\/}
|
|
done
|
|
for i in $(find */doc -type f); do
|
|
install -v $i $docdir/${i/#*doc}
|
|
done
|
|
}
|