diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/generate_version.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/generate_version.sh b/scripts/generate_version.sh index bf30f101..f999c6c4 100755 --- a/scripts/generate_version.sh +++ b/scripts/generate_version.sh @@ -66,7 +66,7 @@ do if [ -d "$ROOT_DIR/src/$package" ] && [ $package != "Bottleneck" ] then echo $package - if [ "$package" == "cmake" ] || [ "$package" == "debian" ] + if [ "$package" == "cmake" ] then # SPECIFIC FOR CMAKE MODULES cp -R $ROOT_DIR/src/$package $VERSION_DIR @@ -74,6 +74,10 @@ do then # SPECIFIC FOR GUDHI USER INTERFACE cp -R $ROOT_DIR/src/$package $VERSION_DIR + elif [ "$package" == "cython" ] + then + # SPECIFIC FOR CYTHON INTERFACE + cp -R $ROOT_DIR/src/$package $VERSION_DIR else # PACKAGE COPY if [ -d "$ROOT_DIR/src/$package$PACKAGE_INC_DIR" ] |