[Gsrc-commit] trunk r8478: epsilon added

[Carl Hansen]

------------------------------------------------------------
revno: 8478
revision-id: carlhansen1234@gmail.com-20220712000910-0nvso91kgp2xnwuj
parent: carlhansen1234@gmail.com-20220711204511-gn0zlfvs3l38qkbs
committer: carlhansen1234@gmail.com
branch nick: trunk
timestamp: Mon 2022-07-11 17:09:10 -0700
message:
  epsilon added
added:
  pkg/gnu/epsilon/               epsilon-20220711205825-36zy9s82dj28g69b-1
  pkg/gnu/epsilon/Makefile       makefile-20220711205825-36zy9s82dj28g69b-3
  pkg/gnu/epsilon/config.mk      config.mk-20220711205825-36zy9s82dj28g69b-2
modified:
  pkg/gnu/jitter/Makefile        makefile-20220624184352-xeatiuetn4p2h6rv-3

=== added directory 'pkg/gnu/epsilon'
=== added file 'pkg/gnu/epsilon/Makefile'
--- a/pkg/gnu/epsilon/Makefile  1970-01-01 00:00:00 +0000
+++ b/pkg/gnu/epsilon/Makefile  2022-07-12 00:09:10 +0000
@@ -0,0 +1,69 @@
+# Copyright ©2022 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 = epsilon
+GARNAME = epsilon
+GARVERSION = master
+HOME_URL = http://www.gnu.org/software/epsilon
+DESCRIPTION =  epsilon 
+define BLURB
+endef
+
+######################################################################
+#    git clone https://git.savannah.gnu.org/git/epsilon.git
+#    cd epsilon/
+#    ./autogen.sh 
+#    ./configure 
+#    make
+MASTER_SITES = https://git.savannah.gnu.org/
+       #$(MASTER_SAVANNAH_GNU_GIT)
+MASTER_SUBDIR = git/
+GIT_REVISION = master  
+GIT_PATH = $(MASTER_SITES)$(MASTER_SUBDIR)$(GARNAME).git
+NOCHECKSUM = $(DISTFILES)
+SIGFILES =
+
+BUILDDEPS =
+LIBDEPS =
+
+WORKSRC = $(DOWNLOADDIRGIT)/$(GARNAME)
+WORKOBJ = $(WORKDIR)/$(DISTNAME)
+######################################################################
+
+include ../../../gar/gar.lib/auto.mk
+include config.mk
+
+.PHONY: fetch-my
+
+gitpull:
+       (cd $(WORKSRC)  &&  git pull)
+
+fetch-my:  
+       if [ -d $(WORKSRC)/.git ]; then    $(MAKE) gitpull ;  else  \
+         (cd $(DOWNLOADDIRGIT) &&  git clone 
https://git.savannah.gnu.org/git/$(GARNAME).git  && \
+             ( cd $(WORKSRC) &&  git checkout $(GIT_REVISION) ) );  fi 
+       $(MAKECOOKIE)
+ 
+
+pre-configure: fetch-my
+       cd $(WORKSRC) &&  ./autogen.sh
+       $(MAKECOOKIE)
+

=== added file 'pkg/gnu/epsilon/config.mk'
--- a/pkg/gnu/epsilon/config.mk 1970-01-01 00:00:00 +0000
+++ b/pkg/gnu/epsilon/config.mk 2022-07-12 00:09:10 +0000
@@ -0,0 +1,4 @@
+## Configuration options for liberty-eiffel ##
+
+CONFIGURE_OPTS ?= 
+BUILD_OPTS ?=

=== modified file 'pkg/gnu/jitter/Makefile'
--- a/pkg/gnu/jitter/Makefile   2022-07-11 20:45:11 +0000
+++ b/pkg/gnu/jitter/Makefile   2022-07-12 00:09:10 +0000
@@ -58,3 +58,5 @@
 
 
 
+
+