#!/bin/sh FLAG_OK="\033[32m[ OK ]\033[0m" FLAG_INFO="\033[32m[Info]\033[0m" FLAG_NOTE="\033[35m[Note]\033[0m" FLAG_ERROR="\033[31m[Error]\033[0m" if [ $# != 1 ] ; then echo "USAGE: $0 [pkg name]" echo " e.g.: $0 ctypes" exit 1; fi pkg=$1 # Check if the package exists if [ ! -d package/pikascript/pikascript-lib/$pkg ] ; then echo "$FLAG_ERROR Package $pkg does not exist" exit 1; fi rm ../../package/$pkg -rf cp package/pikascript/pikascript-lib/$pkg ../../package/ -r git add package/pikascript/pikascript-lib/$pkg # check if $pkg.pyi is exit if [ -f "package/pikascript/$pkg.pyi" ] ; then echo "$FLAG_INFO python interface files added" cp package/pikascript/$pkg.pyi ../../package/$pkg/ git add package/pikascript/$pkg.pyi echo "$pkg.pyi" fi # check if $_pkg.pyi is exit if [ -f "package/pikascript/_$pkg.pyi" ] ; then echo "$FLAG_INFO python interface files added" cp "package/pikascript/_$pkg.pyi" ../../package/$pkg git add package/pikascript/_$pkg.pyi echo "_$pkg.pyi" fi # check if $pkg.py is exit if [ -f "package/pikascript/$pkg.py" ] ; then echo "$FLAG_INFO python files added" cp package/pikascript/$pkg.py ../../package/$pkg/ git add package/pikascript/$pkg.py echo "$pkg.py" fi # check if test/python/$pkg folder is exit if [ -d "test/python/$pkg" ] ; then echo "$FLAG_INFO python test files added:" rm ../../examples/$pkg -rf mkdir ../../examples/$pkg cp test/python/$pkg/*.py ../../examples/$pkg -r git add test/python/$pkg git add ../../examples/$pkg ls ../../examples/$pkg fi git add ../../package/$pkg echo "$FLAG_INFO lib files added:" # list files name in package/pikascript/pikascript-lib/$pkg ls package/pikascript/pikascript-lib/$pkg echo "$FLAG_OK Push \033[32m$pkg\033[0m to ../../package/$pkg successfully!" echo "$FLAG_NOTE Now, you can run 'git commit -a' to commit changes." echo "$FLAG_NOTE Then, you can run 'git push' to push to github/gitee."