From b40fefbb52afbc7deaa0b591d155bf2e84d0afba Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Fri, 28 May 2021 18:41:30 +0200 Subject: Add Makefile --- INSTALL.md | 1 - 1 file changed, 1 deletion(-) (limited to 'INSTALL.md') diff --git a/INSTALL.md b/INSTALL.md index 90b5cf5..940b2d5 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -133,7 +133,6 @@ but you might need to install some extra packages and libraries for your system Compile and install SMTCoq by using the following commands in the src directory. ```bash -coq_makefile -f _CoqProject -o Makefile make make install ``` -- cgit