From 52cba94ef2701afafaa3457b066c71816b601006 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Mon, 22 Nov 2021 10:49:04 +0100
Subject: [PATCH] renaming
---
proofs/{psnj_chainprops => chainprops}/.gitignore | 0
proofs/{psnj_chainprops => chainprops}/.ocamlformat | 0
proofs/chainprops/Makefile | 7 +++++++
.../psnj_chainprops.ml => chainprops/chainprops.ml} | 0
.../chainprops.opam} | 4 ++--
proofs/{psnj_chainprops => chainprops}/dune | 2 +-
proofs/chainprops/dune-project | 9 +++++++++
proofs/psnj_chainprops/Makefile | 7 -------
proofs/psnj_chainprops/dune-project | 10 ----------
9 files changed, 19 insertions(+), 20 deletions(-)
rename proofs/{psnj_chainprops => chainprops}/.gitignore (100%)
rename proofs/{psnj_chainprops => chainprops}/.ocamlformat (100%)
create mode 100644 proofs/chainprops/Makefile
rename proofs/{psnj_chainprops/psnj_chainprops.ml => chainprops/chainprops.ml} (100%)
rename proofs/{psnj_chainprops/psnj_chainprops.opam => chainprops/chainprops.opam} (88%)
rename proofs/{psnj_chainprops => chainprops}/dune (64%)
create mode 100644 proofs/chainprops/dune-project
delete mode 100644 proofs/psnj_chainprops/Makefile
delete mode 100644 proofs/psnj_chainprops/dune-project
diff --git a/proofs/psnj_chainprops/.gitignore b/proofs/chainprops/.gitignore
similarity index 100%
rename from proofs/psnj_chainprops/.gitignore
rename to proofs/chainprops/.gitignore
diff --git a/proofs/psnj_chainprops/.ocamlformat b/proofs/chainprops/.ocamlformat
similarity index 100%
rename from proofs/psnj_chainprops/.ocamlformat
rename to proofs/chainprops/.ocamlformat
diff --git a/proofs/chainprops/Makefile b/proofs/chainprops/Makefile
new file mode 100644
index 0000000..f18c18c
--- /dev/null
+++ b/proofs/chainprops/Makefile
@@ -0,0 +1,7 @@
+all: psnj-chainprops
+
+_build/default/chainprops.exe: chainprops.ml
+ @dune build
+
+psnj-chainprops: _build/default/chainprops.exe
+ @cp -f _build/default/chainprops.exe psnj-chainprops
diff --git a/proofs/psnj_chainprops/psnj_chainprops.ml b/proofs/chainprops/chainprops.ml
similarity index 100%
rename from proofs/psnj_chainprops/psnj_chainprops.ml
rename to proofs/chainprops/chainprops.ml
diff --git a/proofs/psnj_chainprops/psnj_chainprops.opam b/proofs/chainprops/chainprops.opam
similarity index 88%
rename from proofs/psnj_chainprops/psnj_chainprops.opam
rename to proofs/chainprops/chainprops.opam
index 942d86c..c69df8e 100644
--- a/proofs/psnj_chainprops/psnj_chainprops.opam
+++ b/proofs/chainprops/chainprops.opam
@@ -2,8 +2,8 @@
opam-version: "2.0"
depends: [
"dune" {>= "2.9"}
- "cmdliner" {>= "1.0.4"}
- "angstrom" {>= "0.15.0"}
+ "cmdliner"
+ "angstrom"
"odoc" {with-doc}
]
build: [
diff --git a/proofs/psnj_chainprops/dune b/proofs/chainprops/dune
similarity index 64%
rename from proofs/psnj_chainprops/dune
rename to proofs/chainprops/dune
index c7fe017..221f0f6 100644
--- a/proofs/psnj_chainprops/dune
+++ b/proofs/chainprops/dune
@@ -1,3 +1,3 @@
(executable
- (name psnj_chainprops)
+ (name chainprops)
(libraries angstrom cmdliner))
diff --git a/proofs/chainprops/dune-project b/proofs/chainprops/dune-project
new file mode 100644
index 0000000..dd97310
--- /dev/null
+++ b/proofs/chainprops/dune-project
@@ -0,0 +1,9 @@
+(lang dune 2.9)
+(name chainprops)
+
+(generate_opam_files true)
+
+(package
+ (name chainprops)
+ (depends
+ cmdliner angstrom))
diff --git a/proofs/psnj_chainprops/Makefile b/proofs/psnj_chainprops/Makefile
deleted file mode 100644
index 3690501..0000000
--- a/proofs/psnj_chainprops/Makefile
+++ /dev/null
@@ -1,7 +0,0 @@
-all: psnj-chainprops
-
-_build/default/psnj_chainprops.exe: psnj_chainprops.ml
- @dune build
-
-psnj-chainprops: _build/default/psnj_chainprops.exe
- @cp -f _build/default/psnj_chainprops.exe psnj-chainprops
diff --git a/proofs/psnj_chainprops/dune-project b/proofs/psnj_chainprops/dune-project
deleted file mode 100644
index 4d4837b..0000000
--- a/proofs/psnj_chainprops/dune-project
+++ /dev/null
@@ -1,10 +0,0 @@
-(lang dune 2.9)
-(name psnj_chainprops)
-
-(generate_opam_files true)
-
-(package
- (name psnj_chainprops)
- (depends
- (cmdliner (>= 1.0.4))
- (angstrom (>= 0.15.0))))
--
GitLab