From f58e6695bc29b9e29650b9e5ae8d3d718ca74281 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 23 Apr 2020 14:09:43 +0200 Subject: Updated .gitignore compile.pl is a build artefact. --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index da883cff..6c10e1c3 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,7 @@ /Makefile.config /.merlin /_CoqProject +/compile.pl # Generated files /.depend /.depend.extr -- cgit From cc465218dc80d4e7325622e9186c88e6a6ecdb12 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Wed, 29 Apr 2020 15:40:13 +0200 Subject: Install "compcert.config" file along the Coq development The file contains various parameters about the target processor and ABI, useful for VST and possibly other users of CompCert as a Coq library. It is in "var=val" syntax so that it can be included directly from a Makefile or a shell script. --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 6c10e1c3..b75ea5e7 100644 --- a/.gitignore +++ b/.gitignore @@ -31,6 +31,7 @@ /.depend /.depend.extr /compcert.ini +/compcert.config /x86/ConstpropOp.v /x86/SelectOp.v /x86/SelectLong.v -- cgit