[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gsrc-commit] trunk r9318: update metalogic-inference to master
From: |
Carl Hansen |
Subject: |
[Gsrc-commit] trunk r9318: update metalogic-inference to master |
Date: |
Thu, 8 Jun 2023 14:12:49 -0400 (EDT) |
User-agent: |
Bazaar (2.7.0dev1) |
------------------------------------------------------------
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 ?=
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gsrc-commit] trunk r9318: update metalogic-inference to master,
Carl Hansen <=