# --- 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 https://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
}