Remove last bits of Lua bindings.

diff --git a/.appveyor.yml b/.appveyor.yml
index 3dd9ccb..5986c0d 100644 (file)
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -31,8 +31,6 @@ install:
 # This package is so outdated and broken that we cannot use it anymore. So we build without perl
 # - choco install --limit-output strawberryperl --version 5.20.1.1
 # - SET PATH=C:\strawberry\c\bin;C:\strawberry\perl\site\bin;C:\strawberry\perl\bin;%PATH%
-# Lua
-#- choco install lua53
 # We need python v3
 - cmd: SET PATH=C:\Python37-x64;%PATH% # We need python v3
 # Ugly hack to ignore versions 3.8 and later of Python
@@ -47,7 +45,7 @@ install:
 - cmd: git clone --branch stable --depth=1 https://github.com/pybind/pybind11.git
 
 build_script:
-- cmake -G "MinGW Makefiles" -Denable_lua=OFF -Denable_documentation=OFF -Denable_java=ON -Denable_msg=ON -Denable_smpi=OFF -Denable_mallocators=OFF -Denable_lto=OFF .
+- cmake -G "MinGW Makefiles" -Denable_documentation=OFF -Denable_java=ON -Denable_msg=ON -Denable_smpi=OFF -Denable_mallocators=OFF -Denable_lto=OFF .
 - mingw32-make.exe VERBOSE=1 java-all python-bindings # Only the Java and Python parts
 - ctest --output-on-failure -R java
 - ctest --output-on-failure -R python

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 5cf17bd..c1ce16b 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -19,5 +19,5 @@ jobs:
           name: Configure, build and test da stuff
           command: |
             mkdir _build && cd _build
-            cmake -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_msg=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON ..
+            cmake -Denable_documentation=OFF -Denable_coverage=ON -Denable_java=ON -Denable_msg=ON -Denable_model-checking=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON ..
             make -j4 tests && ctest -j4 --output-on-failure

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c450cbe..1b9037d 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ ctest:
   script:
   - apt-get --allow-releaseinfo-change update
   - apt install -y xsltproc
-  - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON -DLTO_EXTRA_FLAG="auto" .
+  - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON -DLTO_EXTRA_FLAG="auto" .
   - make -j$(nproc) VERBOSE=1 all tests
   - ctest -T Test -j$(nproc) --output-on-failure
   - xsltproc ./tools/jenkins/ctest2junit.xsl Testing/"$( head -n 1 < Testing/TAG )"/Test.xml > CTestResults.xml

diff --git a/doc/doxygen/inside_tests.doc b/doc/doxygen/inside_tests.doc
index 824e698..abda87d 100644 (file)
--- a/doc/doxygen/inside_tests.doc
+++ b/doc/doxygen/inside_tests.doc
@@ -184,10 +184,10 @@ template with the following commands:
 #debian/ubuntu
 apt-get install gcc g++ gfortran automake cmake libboost-dev openjdk-8-jdk openjdk-8-jre libxslt-dev libxml2-dev libevent-dev libunwind-dev libdw-dev htop git python3 xsltproc libboost-context-dev
 #for dynamicanalysis:
-apt-get install jacoco libjacoco-java libns3-dev pcregrep gcovr ant lua5.3-dev sloccount
+apt-get install jacoco libjacoco-java libns3-dev pcregrep gcovr ant sloccount
 
 #fedora
-dnf install libboost-devel openjdk-8-jdk openjdk-8-jre libxslt-devel libxml2-devel xsltproc git python3 libdw-devel libevent-devel libunwind-devel htop lua5.3-devel
+dnf install libboost-devel openjdk-8-jdk openjdk-8-jre libxslt-devel libxml2-devel xsltproc git python3 libdw-devel libevent-devel libunwind-devel htop
 
 #netbsd
 pkg_add cmake gcc7 boost boost-headers automake openjdk8 libxslt libxml2 libunwind git htop python36

diff --git a/src/mc/remote/RemoteProcess.cpp b/src/mc/remote/RemoteProcess.cpp
index 21c3a08..538939b 100644 (file)
--- a/src/mc/remote/RemoteProcess.cpp
+++ b/src/mc/remote/RemoteProcess.cpp
@@ -101,8 +101,6 @@ static const std::vector<std::string> filtered_libraries = {
     "liblber",
     "libldap",
     "libldap_r",
-    "liblua5.1",
-    "liblua5.3",
     "liblzma",
     "libm",
     "libmd",

diff --git a/tools/cmake/scripts/update_tesh.pl b/tools/cmake/scripts/update_tesh.pl
index e60e782..6d6b519 100755 (executable)
--- a/tools/cmake/scripts/update_tesh.pl
+++ b/tools/cmake/scripts/update_tesh.pl
@@ -34,8 +34,6 @@ while(defined($line=<SH_LIGNE>))
                $line =~ s/\(/\\(/g;
                $line =~ s/\)/\\)/g;
                $line =~ s/^\$\ */.\//g;
-               $line =~ s/^.\/lua/lua/g;
-               $line =~ s/^.\/ruby/ruby/g;
                $line =~ s/--log=([^ ]*)/--log="$1"/g;
                print "$line_exec";
                chomp $line;

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index 4e97334..4e31381 100755 (executable)
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -66,7 +66,7 @@ rm -rf xml_coverage.xml
 
 ctest -D ExperimentalStart || true
 
-cmake -Denable_documentation=OFF -Denable_lua=ON \
+cmake -Denable_documentation=OFF \
       -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
       -Denable_mallocators=ON \
       -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \

diff --git a/tools/jenkins/Sanitizers.sh b/tools/jenkins/Sanitizers.sh
index 8c2569b..3ea1f5b 100755 (executable)
--- a/tools/jenkins/Sanitizers.sh
+++ b/tools/jenkins/Sanitizers.sh
@@ -74,7 +74,7 @@ cd "$WORKSPACE"/build
 
 ctest -D ExperimentalStart || true
 
-cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=OFF \
+cmake -Denable_documentation=OFF -Denable_java=OFF \
       -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
       -Denable_mallocators=OFF \
       -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=OFF \