anonymize

artifact-clean/INSTRUCTIONS.md

@@ -2,6 +2,8 @@
 
 0. We use the Opam package manager, please install it from the
    official Opam webpage: https://opam.ocaml.org/doc/Install.html
+   and add the Coq opam repository, with the following command:
+   `opam repo add coq-released https://coq.*/opam/released`
 
 1. Create a fresh Opam switch (development was done with
    OCaml 4.12.0, but anything newer should work). An existing switch may
@@ -27,4 +29,4 @@
    Please use either:
    - CoqIDE (available in your switch via `opam install coqide`)
    - VSCode or VSCodium with the **VSCoq Legacy** extension.
-   - emacs together with proof-general
+   - emacs together with proof-general

make_artifact.sh

@@ -1,7 +1,7 @@
 #!/bin/sh
 rm -rf artifact-clean/trocq artifact-clean/coq-elpi
 git clone -b strat --depth 1 https://github.com/ecranceMERCE/coq-elpi/ artifact-clean/coq-elpi
-rm theories/.*.aux theories/*.glob theories/*.vo theories/*.vok theories/*.vos
+rm -f theories/.*.aux theories/*.glob theories/*.vo theories/*.vok theories/*.vos
 mkdir artifact-clean/trocq/
 mkdir artifact-clean/trocq/theories
 mkdir artifact-clean/trocq/examples
@@ -13,4 +13,14 @@ cp -R elpi artifact-clean/trocq/elpi
 cp _CoqProject artifact-clean/trocq/
 cp Makefile artifact-clean/trocq/
 cp coq-trocq.opam artifact-clean/trocq/
+find artifact-clean/trocq -type f -exec sed -i 's/assia//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/cyril//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/enzo//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/mahboubi//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/cohen//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/crance//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/inria.fr//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/inria//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/merce//gIm' {} +
+find artifact-clean/trocq -type f -exec sed -i 's/mitsubishi electric r.d centre europe//gIm' {} +
 zip -u -r artifact-clean artifact-clean