[Gsrc-commit] trunk r9318: update metalogic-inference to master

[Carl Hansen]

------------------------------------------------------------
revno: 9318
revision-id: carlhansen1234@gmail.com-20230608181245-3abqbxcdpdfgbkr9
parent: carlhansen1234@gmail.com-20230608170740-yih7n5bju1dpag0z
committer: carlhansen1234@gmail.com
branch nick: trunk
timestamp: Thu 2023-06-08 11:12:45 -0700
message:
  update metalogic-inference to master
added:
  pkg/gnu/metalogic-inference/   
metalogicinference-20230608181232-yj4baygeoubaxq1c-1
  pkg/gnu/metalogic-inference/Makefile 
makefile-20230608181232-yj4baygeoubaxq1c-3
  pkg/gnu/metalogic-inference/config.mk 
config.mk-20230608181232-yj4baygeoubaxq1c-2

=== added directory 'pkg/gnu/metalogic-inference'
=== added file 'pkg/gnu/metalogic-inference/Makefile'
--- a/pkg/gnu/metalogic-inference/Makefile      1970-01-01 00:00:00 +0000
+++ b/pkg/gnu/metalogic-inference/Makefile      2023-06-08 18:12:45 +0000
@@ -0,0 +1,71 @@
+# Copyright ©2023 Carl Hansen <carlhansen@gnu.org>
+#
+# This file is part of GSRC, the GNU Source Release Collection.
+# http://www.gnu.org/software/gsrc
+#
+# GSRC is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# GSRC is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GSRC.  If not, see <http://www.gnu.org/licenses/>.
+#
+#
+# Send bug reports and comments about GSRC problems to bug-gsrc@gnu.org
+
+NAME = metalogic-inference mli
+GARNAME = metalogic-inference
+GARVERSION = master
+HOME_URL = http://www.gnu.org/software/metalogic-inference
+DESCRIPTION = metalogic inference 
+define BLURB
+ metalogic inference  mli
+endef
+
+######################################################################
+#  git clone https://git.savannah.gnu.org/git/metalogic-inference.git
+#https://git.savannah.nongnu.org/cgit/metalogic-inference.git/tree/src
+
+MASTER_SITES =   https://git.savannah.gnu.org
+MASTER_SUBDIR =  git
+GIT_PATH = $(MASTER_SITES)/$(MASTER_SUBDIR)/$(GARNAME).git
+GIT_REVISION = master
+SIGFILES = 
+GITSRC =  $(BASEDIRABS)/$(DOWNLOADDIRGIT)/$(GARNAME)
+WORKSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
+WORKOBJ =  $(WORKDIR)/$(GARNAME)-build
+
+
+#NOCHECKSUM = $(DISTFILES)
+
+BUILDDEPS =  gmp bdw-gc
+LIBDEPS = 
+INFO_FILES = mli.info
+
+USE_AUTORECONF = y
+######################################################################
+
+# problems building
+# executable is "mli"
+
+include ../../../gar/gar.lib/autotools.mk
+include ../../../gar/gar.lib/info.mk
+include config.mk
+
+pre-fetch:
+       mkdir -p $(WORKSRC)
+       mkdir -p $(WORKOBJ)
+       $(MAKECOOKIE)
+
+post-fetch:
+       $(MAKE) fetch-git
+
+
+
+

=== added file 'pkg/gnu/metalogic-inference/config.mk'
--- a/pkg/gnu/metalogic-inference/config.mk     1970-01-01 00:00:00 +0000
+++ b/pkg/gnu/metalogic-inference/config.mk     2023-06-08 18:12:45 +0000
@@ -0,0 +1,4 @@
+## Configuration options 
+
+CONFIGURE_OPTS ?= 
+BUILD_OPTS ?=