From 76dc6bcfaa8b5e8339c3cbceb6e0661b6704c7ad Mon Sep 17 00:00:00 2001
From: Gabriel <gabriel@motacilla.home>
Date: Fri, 15 Oct 2021 11:36:27 +0200
Subject: [PATCH] creating debian meta package for deps
---
tools/install-deps/.gitignore | 3 +++
tools/install-deps/Makefile | 7 +++++++
tools/install-deps/lambdapi-pvs.ctl | 27 +++++++++++++++++++++++++++
3 files changed, 37 insertions(+)
create mode 100644 tools/install-deps/.gitignore
create mode 100644 tools/install-deps/Makefile
create mode 100644 tools/install-deps/lambdapi-pvs.ctl
diff --git a/tools/install-deps/.gitignore b/tools/install-deps/.gitignore
new file mode 100644
index 0000000..87bb437
--- /dev/null
+++ b/tools/install-deps/.gitignore
@@ -0,0 +1,3 @@
+*.buildinfo
+*.changes
+*.deb
diff --git a/tools/install-deps/Makefile b/tools/install-deps/Makefile
new file mode 100644
index 0000000..d352239
--- /dev/null
+++ b/tools/install-deps/Makefile
@@ -0,0 +1,7 @@
+VERSION = 1.0
+
+lambdapi-pvs_${VERSION}_all.deb: lambdapi-pvs.ctl
+ equivs-build $<
+
+clean:
+ rm -f *.buildinfo *.changes
diff --git a/tools/install-deps/lambdapi-pvs.ctl b/tools/install-deps/lambdapi-pvs.ctl
new file mode 100644
index 0000000..3bf2894
--- /dev/null
+++ b/tools/install-deps/lambdapi-pvs.ctl
@@ -0,0 +1,27 @@
+Source: lambdapi-pvs
+Section: misc
+Priority: optional
+Homepage: https://github.com/Deducteam/personoj
+Standards-Version: 3.9.2
+
+Package: lambdapi-pvs
+Version: 1.0
+Maintainer: Gabriel Hondet <gabriel (dot) hondet (at) inria (dot) fr>
+# Pre-Depends: <comma-separated list of packages>
+Depends: zlib1g-dev,libx11-dev,libgmp-dev,bubblewrap,m4,gcc,autoconf,make,unzip,pkg-config,git,rsync,bmake,ksh,c-compiler,sbcl
+Recommends: emacs-nox
+# Suggests: <comma-separated list of packages>
+# Provides: <comma-separated list of packages>
+# Replaces: <comma-separated list of packages>
+# Architecture: all
+# Multi-Arch: <one of: foreign|same|allowed>
+# Copyright: BSD3
+# Changelog: <changelog file; defaults to a generic changelog>
+# Readme: <README.Debian file; defaults to a generic one>
+# Extra-Files: <comma-separated list of additional files for the doc directory>
+# Links: <pair of space-separated paths; First is path symlink points at, second is filename of link>
+# Files: <pair of space-separated paths; First is file to include, second is destination>
+# <more pairs, if there's more than one file to include. Notice the starting space>
+Description: Meta package to install dependencies for lambdapi and PVS
+ This package gathers the dependencies required to export theories from PVS to
+ Dedukti.
--
GitLab