Also drop libcvc4-dev and smtdependencies generally.

Author: ekpyron

scripts/release_ppa.sh

@@ -92,7 +92,6 @@ cd "$distribution"
 if [ "$distribution" = STATIC ]
 then
     pparepo=ethereum-static
-    SMTDEPENDENCY=""
     CMAKE_OPTIONS="-DSOLC_LINK_STATIC=On -DCMAKE_EXE_LINKER_FLAGS=-static"
 else
     if is_release
@@ -101,17 +100,6 @@ else
     else
         pparepo=ethereum-dev
     fi
-    if [ "$distribution" = focal ]
-    then
-        SMTDEPENDENCY="libcvc4-dev,
-            "
-    elif [ "$distribution" = disco ]
-    then
-        SMTDEPENDENCY="libcvc4-dev,
-            "
-    else
-        SMTDEPENDENCY=""
-    fi
     CMAKE_OPTIONS=""
 fi
 ppafilesurl=https://launchpad.net/~ethereum/+archive/ubuntu/${pparepo}/+files
@@ -153,7 +141,7 @@ Source: solc
 Section: science
 Priority: extra
 Maintainer: Christian (Buildserver key) <[email protected]>
-Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0),
+Build-Depends: debhelper (>= 9.0.0),
                cmake,
                g++ (>= 5.0),
                git,