coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coq_makefile and coqdep in Windows 7

From: Ralf Jung <jung AT mpi-sws.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] coq_makefile and coqdep in Windows 7
Date: Thu, 19 Mar 2015 16:04:20 +0100

Hi,

> Error: The file C:\Users\Marcus
> Ramos\Documents\Formalization\splitfiles/misc_arith.vo contains library
> misc_arith and not library Current.misc_arith
> make: *** [and_useless_inaccessible.vo] Error 1

Try running "make clean" first, to get rid of old files that were
compiled with different include paths.

Kind regards,
Ralf

[Coq-Club] coq_makefile and coqdep in Windows 7, Marcus Ramos, 03/18/2015
- Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Arthur Azevedo de Amorim, 03/19/2015
- Re: [Coq-Club] coq_makefile and coqdep in Windows 7, CJ Bell, 03/19/2015
  - Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Marcus Ramos, 03/19/2015
    - Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Ralf Jung, 03/19/2015
      - Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Marcus Ramos, 03/19/2015
        
        Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Ralf Jung, 03/19/2015
        
        Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Ralf Jung, 03/19/2015
        
        Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Marcus Ramos, 03/19/2015
        
        Re: [Coq-Club] coq_makefile and coqdep in Windows 7, CJ Bell, 03/19/2015
        Re: [Coq-Club] coq_makefile and coqdep in Windows 7, CJ Bell, 03/19/2015
        Re: [Coq-Club] coq_makefile and coqdep in Windows 7, Marcus Ramos, 03/19/2015