diff options
Diffstat (limited to 'ubuntu')
| -rw-r--r-- | ubuntu/ltp.yaml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ubuntu/ltp.yaml b/ubuntu/ltp.yaml index b9f94e8..ee9ab7c 100644 --- a/ubuntu/ltp.yaml +++ b/ubuntu/ltp.yaml @@ -23,15 +23,14 @@ install: - 'rm -rf /opt/ltp' - 'mkdir -p /opt/ltp' - 'cd /opt/ltp' - - 'wget https://github.com/linux-test-project/ltp/archive/$VERSION.zip' - - 'unzip $VERSION.zip' - - 'cd ltp-$VERSION' + - 'wget https://github.com/linux-test-project/ltp/releases/download/$VERSION/ltp-full-$VERSION.tar.xz' + - 'tar --strip-components=1 -Jxf ltp-full-$VERSION.tar.xz' - 'mkdir build' - './configure --prefix=$(readlink -f build)' - 'make all' - 'make SKIP_IDCHECK=1 install' deps: - - unzip + - xz-utils - flex - bison - build-essential |