up all, rework IP

.gitignore

@@ -1,3 +1,4 @@
 Dockerfile-aes-*
 Dockerfile-cvc*
-Dockerfile-aeg-*
+Dockerfile-aeg-*
+alt_ergo_docker_images/_build/*

alt_ergo_docker_images/alt_ergo_docker_images.opam

@@ -0,0 +1,35 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "generate dockerfiles using `dockerfile` `dockerfile-opam` `dockerfile-cmd` packages"
+description: "synopsis explained enough"
+maintainer: ["La flemme du lundi matin"]
+authors: ["NonaYoBuzniss"]
+license: "LICENSE"
+tags: ["topics" "Dockerfile" "Alt-Ergo" "your" "project"]
+homepage: "https://github.com/EliasGit2017/alt-ergo-docker-images"
+doc: "https://url/to/documentation"
+bug-reports: "https://github.com/EliasGit2017/alt-ergo-docker-images/issues"
+depends: [
+  "ocaml"
+  "dune" {>= "3.10"}
+  "dockerfile"
+  "dockerfile-cmd"
+  "dockerfile-opam"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/EliasGit2017/alt-ergo-docker-images.git"

alt_ergo_docker_images/dune-project

@@ -0,0 +1,27 @@
+(lang dune 3.10)
+
+(name alt_ergo_docker_images)
+
+(generate_opam_files true)
+
+(source
+ (github EliasGit2017/alt-ergo-docker-images))
+
+(authors "NonaYoBuzniss")
+
+(maintainers "La flemme du lundi matin")
+
+(license LICENSE)
+
+(documentation https://url/to/documentation)
+
+(package
+ (name alt_ergo_docker_images)
+ (synopsis
+  "generate dockerfiles using `dockerfile` `dockerfile-opam` `dockerfile-cmd` packages")
+ (description "synopsis explained enough")
+ (depends ocaml dune dockerfile dockerfile-cmd dockerfile-opam)
+ (tags
+  (topics "Dockerfile" "Alt-Ergo" your project)))
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project

alt_ergo_docker_images/lib/dune

@@ -0,0 +1,2 @@
+(library
+ (name alt_ergo_docker_images))

alt_ergo_docker_images/src/dune

@@ -0,0 +1,4 @@
+(executable
+ (public_name alt_ergo_docker_images)
+ (name main)
+ (libraries alt_ergo_docker_images dockerfile dockerfile-cmd dockerfile-opam))

alt_ergo_docker_images/src/main.ml

@@ -0,0 +1,10 @@
+module Df = Dockerfile
+
+let () = print_endline "Hello, World!"
+
+let () =
+  print_endline "Generating Dockerfiless"
+
+
+
+

alt_ergo_docker_images/test/dune

@@ -0,0 +1,2 @@
+(test
+ (name alt_ergo_docker_images))