From 33363aeb4d56dbc370f011bc48effcb7151161a8 Mon Sep 17 00:00:00 2001 From: "Thomas M. DuBuisson" Date: Wed, 22 Sep 2021 19:05:06 -0700 Subject: ci: update Lift config to match requirements of curl build Also renamed Muse -> Lift, the new tool name. Closes #7761 --- .lift/config.toml | 3 +++ .lift/setup.sh | 4 ++++ .muse/config.toml | 3 --- .muse/setup.sh | 4 ---- 4 files changed, 7 insertions(+), 7 deletions(-) create mode 100644 .lift/config.toml create mode 100755 .lift/setup.sh delete mode 100644 .muse/config.toml delete mode 100755 .muse/setup.sh diff --git a/.lift/config.toml b/.lift/config.toml new file mode 100644 index 000000000..7a5e01f4c --- /dev/null +++ b/.lift/config.toml @@ -0,0 +1,3 @@ +ignore = [ "DEAD_STORE" ] +build = "make" +setup = ".lift/setup.sh" diff --git a/.lift/setup.sh b/.lift/setup.sh new file mode 100755 index 000000000..a9bc873b3 --- /dev/null +++ b/.lift/setup.sh @@ -0,0 +1,4 @@ +#!/usr/bin/env bash +./buildconf +./configure --with-openssl +echo "Ran the setup script for Lift including autoconf and executing ./configure --with-openssl" diff --git a/.muse/config.toml b/.muse/config.toml deleted file mode 100644 index 4e5b5cc63..000000000 --- a/.muse/config.toml +++ /dev/null @@ -1,3 +0,0 @@ -ignore = [ "DEAD_STORE" ] -build = "make" -setup = ".muse/setup.sh" diff --git a/.muse/setup.sh b/.muse/setup.sh deleted file mode 100755 index 55872d594..000000000 --- a/.muse/setup.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env bash -./buildconf -./configure -echo "Ran the setup script for muse including autoconf and executing ./configure" -- cgit v1.2.1