svn commit: r564008 - in head: . math math/why3

[Baptiste Daroussin]

Author: bapt
Date: Thu Feb  4 09:58:33 2021
New Revision: 564008
URL: https://svnweb.freebsd.org/changeset/ports/564008

Log:
  Remove math/why3
  
  This port depends on deprecated gnome2 only libraries, the port is unmaintained for
  a while and very outdated.

Deleted:
  head/math/why3/
Modified:
  head/MOVED
  head/math/Makefile

Modified: head/MOVED
==============================================================================
--- head/MOVED	Thu Feb  4 09:58:14 2021	(r564007)
+++ head/MOVED	Thu Feb  4 09:58:33 2021	(r564008)
@@ -16144,3 +16144,4 @@ sysutils/gstreamer-plugins-hal||2021-02-04|Replaced by
 www/gstreamer-plugins-neon|www/gstreamer1-plugins-neon|2021-02-04|Replaced by gstreamer1
 x11-toolkits/gstreamer-plugins-pango|x11-toolkits/gstreamer1-plugins-pango|2021-02-04|Replaced by gstreamer1
 x11-themes/gnome-themes-extras|x11-themes/gnome-themes-extra|2021-02-04|Gnome2 desktop has been removed long ago
+math/why3||2021-02-04|Depends on deprecated gnome3 library, very outdated and unmaintained

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Thu Feb  4 09:58:14 2021	(r564007)
+++ head/math/Makefile	Thu Feb  4 09:58:33 2021	(r564008)
@@ -976,7 +976,6 @@
     SUBDIR += wavelib
     SUBDIR += wcalc
     SUBDIR += wfmath
-    SUBDIR += why3
     SUBDIR += wxmaxima
     SUBDIR += xblas
     SUBDIR += xfce4-calculator-plugin