max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(script/test_registry): use absolute path to leanpkg

Browse source
This commit is contained in:
Sebastian Ullrich 2017-05-31 17:33:52 +02:00 • committed by Leonardo de Moura
parent c4d684cc33
commit 4e4dc98c87
3 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.travis.yml
View file

@ -116,7 +116,6 @@ script:
-DLEAN_EXTRA_MAKE_OPTS=$LEAN_EXTRA_MAKE_OPTS
../src || exit
- make -j2 || exit
- export PATH="$TRAVIS_BUILD_DIR/bin:$PATH"
- if [[ $TEST != OFF ]]; then yes "A" | ctest -j2 --output-on-failure; fi
- if [[ $PACKAGE == TRUE ]]; then cpack; make package; fi
- if [[ $TEST_LEANPKG_REGISTRY == ON ]]; then ../script/test_registry.py; fi

1
.travis.yml.in
View file

@ -116,7 +116,6 @@ script:
-DLEAN_EXTRA_MAKE_OPTS=$LEAN_EXTRA_MAKE_OPTS
../src || exit
- make -j2 || exit
- export PATH="$TRAVIS_BUILD_DIR/bin:$PATH"
- if [[ $TEST != OFF ]]; then yes "A" | ctest -j2 --output-on-failure; fi
- if [[ $PACKAGE == TRUE ]]; then cpack; make package; fi
- if [[ $TEST_LEANPKG_REGISTRY == ON ]]; then ../script/test_registry.py; fi

8
script/test_registry.py
View file

@ -4,8 +4,10 @@ import json
import os
import subprocess
script_path = os.path.dirname(os.path.realpath(__file__))
root_path = os.path.dirname(script_path)
def get_packages():
script_path = os.path.dirname(os.path.realpath(__file__))
pkg_registry = os.path.join(script_path, "package_registry.json")
pkg_json = json.loads(open(pkg_registry, 'r').read())
return pkg_json['packages']
@ -20,7 +22,7 @@ def git_pull():
subprocess.run(["git", "pull"])
def leanpkg_test():
proc = subprocess.run(["leanpkg", "test"])
proc = subprocess.run([os.path.join(root_path, "bin", "leanpkg"), "test"])
if proc.returncode == 0:
return True
else:
@ -58,5 +60,3 @@ def main():
if __name__ == "__main__":
main()