version 1.8, 2016/09/27 01:05:55 |
version 1.9, 2019/01/28 04:51:51 |
|
|
# $OpenXM: OpenXM/src/k097/Makefile.in,v 1.7 2015/09/29 01:52:14 takayama Exp $ |
# $OpenXM: OpenXM/src/k097/Makefile.in,v 1.8 2016/09/27 01:05:55 takayama Exp $ |
# |
# |
# Depends on all-kan96xx [source tree of kan96xx at ${Kan96xx} is required] |
# Depends on all-kan96xx [source tree of kan96xx at ${Kan96xx} is required] |
# install-gmp, install-gc, install-util |
# install-gmp, install-gc, install-util |
|
|
install-lib-for-debug : |
install-lib-for-debug : |
${RM} -rf ${OpenXM_lib_debug}/k097 |
${RM} -rf ${OpenXM_lib_debug}/k097 |
ln -s ../src/k097 ${OpenXM_lib_debug}/k097 |
ln -s ../src/k097 ${OpenXM_lib_debug}/k097 |
|
|
|
distclean: clean |
|
rm -f .configure_done |
|
|