Termux/termux-packages
1
0
Fork 0
mirror of https://github.com/termux/termux-packages synced 2024-06-19 04:37:06 +00:00
Code Issues Releases Wiki Activity

Revert z3 update and bump vim and vim-python on the CI

Browse Source
This commit is contained in:
Butta 2020-09-11 23:44:44 +05:30
parent 8987e6be69
commit acf12000f1
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/vim-python/build.sh
View File

@ -68,7 +68,7 @@ termux_step_pre_configure() {
termux_step_post_make_install() {
cp $TERMUX_PKG_BUILDER_DIR/vimrc $TERMUX_PREFIX/share/vim/vimrc
# Remove most tutor files:
# Remove most tutor files
cp $TERMUX_PREFIX/share/vim/vim82/tutor/{tutor,tutor.vim,tutor.utf-8} $TERMUX_PKG_TMPDIR/
rm -f $TERMUX_PREFIX/share/vim/vim82/tutor/*
cp $TERMUX_PKG_TMPDIR/{tutor,tutor.vim,tutor.utf-8} $TERMUX_PREFIX/share/vim/vim82/tutor/

2
packages/vim/build.sh
View File

@ -54,7 +54,7 @@ termux_step_pre_configure() {
termux_step_post_make_install() {
cp $TERMUX_PKG_BUILDER_DIR/vimrc $TERMUX_PREFIX/share/vim/vimrc
# Remove most tutor files:
# Remove most tutor files
cp $TERMUX_PREFIX/share/vim/vim82/tutor/{tutor,tutor.vim,tutor.utf-8} $TERMUX_PKG_TMPDIR/
rm -f $TERMUX_PREFIX/share/vim/vim82/tutor/*
cp $TERMUX_PKG_TMPDIR/{tutor,tutor.vim,tutor.utf-8} $TERMUX_PREFIX/share/vim/vim82/tutor/

4
packages/z3/build.sh
View File

@ -1,9 +1,9 @@
TERMUX_PKG_HOMEPAGE=https://github.com/Z3Prover/z3
TERMUX_PKG_DESCRIPTION="Z3 is a theorem prover from Microsoft Research."
TERMUX_PKG_LICENSE="MIT"
TERMUX_PKG_VERSION=4.8.9
TERMUX_PKG_VERSION=4.8.8
TERMUX_PKG_SRCURL=https://github.com/Z3Prover/z3/archive/z3-$TERMUX_PKG_VERSION.tar.gz
TERMUX_PKG_SHA256=c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4
TERMUX_PKG_SHA256=6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff
TERMUX_PKG_BUILD_IN_SRC=true
termux_step_configure() {