Remove expired ports:

2016-09-30 math/why3-spark: Only useful for deprecated lang/spark
2016-09-30 lang/spark: Broken for more than 6 months
2016-09-30 math/alt-ergo-spark: Only useful for deprecate lang/spark
2016-09-30 security/nessus-libnasl: Abandoned, consider using OpenVAS
2016-09-30 security/nessus: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-libraries: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-plugins: Abandoned, consider using OpenVAS

4 files changed, 0 insertions, 179 deletions

diff --git a/lang/spark/files/patch-gnat2why_get__targ.adb b/lang/spark/files/patch-gnat2why_get__targ.adb
deleted file mode 100644
index 1d0eb991a884..000000000000
--- a/lang/spark/files/patch-gnat2why_get__targ.adb
+++ /dev/null
@@ -1,50 +0,0 @@
---- gnat2why/get_targ.adb.orig	2014-04-10 15:20:35 UTC
-+++ gnat2why/get_targ.adb
-@@ -99,33 +99,6 @@ package body Get_Targ is
-       return 64;
-    end Get_Long_Long_Size;
- 
--   --------------------
--   -- Get_Float_Size --
--   --------------------
--
--   function Get_Float_Size return Pos is
--   begin
--      return 32;
--   end Get_Float_Size;
--
--   ---------------------
--   -- Get_Double_Size --
--   ---------------------
--
--   function Get_Double_Size return Pos is
--   begin
--      return 64;
--   end Get_Double_Size;
--
--   --------------------------
--   -- Get_Long_Double_Size --
--   --------------------------
--
--   function Get_Long_Double_Size return Pos is
--   begin
--      return 96;
--   end Get_Long_Double_Size;
--
-    ----------------------
-    -- Get_Pointer_Size --
-    ----------------------
-@@ -296,4 +269,13 @@ package body Get_Targ is
-       end if;
-    end Width_From_Size;
- 
-+   ------------------------------
-+   -- Get_Back_End_Config_File --
-+   ------------------------------
-+
-+   function Get_Back_End_Config_File return String_Ptr is
-+   begin
-+      return null;
-+   end Get_Back_End_Config_File;
-+
- end Get_Targ;
diff --git a/lang/spark/files/patch-gnat2why_smissing.c b/lang/spark/files/patch-gnat2why_smissing.c
deleted file mode 100644
index 16393dcc8ebc..000000000000
--- a/lang/spark/files/patch-gnat2why_smissing.c
+++ /dev/null
@@ -1,18 +0,0 @@
---- gnat2why/smissing.c.orig	2014-04-10 15:20:38 UTC
-+++ gnat2why/smissing.c
-@@ -32,6 +32,15 @@
-    allocation strategy for large objects in certain cases). */
- int flag_stack_check = 0;
- 
-+/* Controls the balance between GNAT encodings and standard DWARF to
-+   emit in the debug information.  Useful for DWARF debugging information
-+   generation only so not used in SPARK2014 */ 
-+int gnat_encodings = 0;
-+
-+/* controlled by -fcompare-debug option on gcc, hardcode to 0 based on
-+   comment above */
-+int flag_compare_debug = 0;
-+
- /*  Originally defined in GCC's toplev.c. */
- int optimize = 0;
- int optimize_size = 0;
diff --git a/lang/spark/files/patch-gnat2why_spark_spark__definition.adb b/lang/spark/files/patch-gnat2why_spark_spark__definition.adb
deleted file mode 100644
index 2c6b53a90136..000000000000
--- a/lang/spark/files/patch-gnat2why_spark_spark__definition.adb
+++ /dev/null
@@ -1,75 +0,0 @@
---- gnat2why/spark/spark_definition.adb.orig	2014-04-10 15:20:35 UTC
-+++ gnat2why/spark/spark_definition.adb
-@@ -2989,6 +2989,7 @@ package body SPARK_Definition is
-               Pragma_Elaborate_All                |
-               Pragma_Elaborate_Body               |
-               Pragma_Export                       |
-+              Pragma_Extensions_Visible           |
-               Pragma_Independent                  |
-               Pragma_Independent_Components       |
-               Pragma_Inline                       |
-@@ -3022,8 +3023,10 @@ package body SPARK_Definition is
-               Pragma_Async_Writers                |
-               Pragma_Contract_Cases               |
-               Pragma_Depends                      |
-+              Pragma_Default_Initial_Condition    |
-               Pragma_Effective_Reads              |
-               Pragma_Effective_Writes             |
-+              Pragma_Ghost                        |
-               Pragma_Global                       |
-               Pragma_Initializes                  |
-               Pragma_Initial_Condition            |
-@@ -3050,6 +3053,8 @@ package body SPARK_Definition is
-               Pragma_Check_Policy                 |
-               Pragma_Inline_Always                |
-               Pragma_Linker_Section               |
-+              Pragma_No_Elaboration_Code_All      |
-+              Pragma_No_Tagged_Streams            |
-               Pragma_Pure_Function                |
-               Pragma_Restriction_Warnings         |
-               Pragma_Style_Checks                 |
-@@ -3081,7 +3086,6 @@ package body SPARK_Definition is
-          when Pragma_Abort_Defer                 |
-            Pragma_Allow_Integer_Address          |
-            Pragma_Attribute_Definition           |
--           Pragma_AST_Entry                      |
-            Pragma_C_Pass_By_Copy                 |
-            Pragma_Check_Float_Overflow           |
-            Pragma_Check_Name                     |
-@@ -3111,7 +3115,6 @@ package body SPARK_Definition is
-            Pragma_Elaboration_Checks             |
-            Pragma_Eliminate                      |
-            Pragma_Enable_Atomic_Synchronization  |
--           Pragma_Export_Exception               |
-            Pragma_Export_Function                |
-            Pragma_Export_Object                  |
-            Pragma_Export_Procedure               |
-@@ -3124,12 +3127,10 @@ package body SPARK_Definition is
-            Pragma_Fast_Math                      |
-            Pragma_Favor_Top_Level                |
-            Pragma_Finalize_Storage_Only          |
--           Pragma_Float_Representation           |
-            Pragma_Ident                          |
-            Pragma_Implementation_Defined         |
-            Pragma_Implemented                    |
-            Pragma_Implicit_Packing               |
--           Pragma_Import_Exception               |
-            Pragma_Import_Function                |
-            Pragma_Import_Object                  |
-            Pragma_Import_Procedure               |
-@@ -3149,7 +3150,6 @@ package body SPARK_Definition is
-            Pragma_Linker_Alias                   |
-            Pragma_Linker_Constructor             |
-            Pragma_Linker_Destructor              |
--           Pragma_Long_Float                     |
-            Pragma_Loop_Optimize                  |
-            Pragma_Machine_Attribute              |
-            Pragma_Main                           |
-@@ -3170,6 +3170,7 @@ package body SPARK_Definition is
-            Pragma_Post_Class                     |
-            Pragma_Pre                            |
-            Pragma_Predicate                      |
-+           Pragma_Prefix_Exception_Messages      |
-            Pragma_Pre_Class                      |
-            Pragma_Priority_Specific_Dispatching  |
-            Pragma_Profile_Warnings               |
diff --git a/lang/spark/files/patch-gnatvsn.adb b/lang/spark/files/patch-gnatvsn.adb
deleted file mode 100644
index 18ac935c7c15..000000000000
--- a/lang/spark/files/patch-gnatvsn.adb
+++ /dev/null
@@ -1,36 +0,0 @@
---- gnat2why/gnat_src/gnatvsn.adb.orig	2010-12-03 04:48:56 UTC
-+++ gnat2why/gnat_src/gnatvsn.adb
-@@ -53,32 +53,13 @@ package body Gnatvsn is
-         " FOR A PARTICULAR PURPOSE.";
-    end Gnat_Free_Software;
- 
--   type char_array is array (Natural range <>) of aliased Character;
--   Version_String : char_array (0 .. Ver_Len_Max - 1);
--   --  Import the C string defined in the (language-independent) source file
--   --  version.c using the zero-based convention of the C language.
--   --  The size is not the real one, which does not matter since we will
--   --  check for the nul character in Gnat_Version_String.
--   pragma Import (C, Version_String, "version_string");
--
-    -------------------------
-    -- Gnat_Version_String --
-    -------------------------
- 
-    function Gnat_Version_String return String is
--      S : String (1 .. Ver_Len_Max);
--      Pos : Natural := 0;
-    begin
--      loop
--         exit when Version_String (Pos) = ASCII.NUL;
--
--         S (Pos + 1) := Version_String (Pos);
--         Pos := Pos + 1;
--
--         exit when Pos = Ver_Len_Max;
--      end loop;
--
--      return S (1 .. Pos);
-+      return Gnat_Static_Version_String;
-    end Gnat_Version_String;
- 
- end Gnatvsn;