From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.129.112.82 with SMTP id l79mr7715159ywc.5.1470937210147; Thu, 11 Aug 2016 10:40:10 -0700 (PDT) X-Received: by 10.157.58.35 with SMTP id j32mr336687otc.10.1470937210066; Thu, 11 Aug 2016 10:40:10 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!c52no8253274qte.1!news-out.google.com!d130ni32020ith.0!nntp.google.com!f6no9198025ith.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 11 Aug 2016 10:40:09 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=200.1.113.8; posting-account=QYwEmAoAAACafRNUYfwYgKipMPzt2pkS NNTP-Posting-Host: 200.1.113.8 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <3a592222-c696-4f6a-a2c3-2f0ebd24ed31@googlegroups.com> Subject: SPARK error when analyzing a project with gnatcoll From: =?UTF-8?Q?Sebasti=C3=A1n_Ben=C3=ADtez?= Injection-Date: Thu, 11 Aug 2016 17:40:10 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:31398 Date: 2016-08-11T10:40:09-07:00 List-Id: Hi. I'm getting the following error when running gnatprove: gnatprove: rcbt.gpr:1:06: unknown project file: "gnatcoll.gpr" GNATColl is included in my project file using: with "gnatcoll.gpr"; I have GNAT installed in C:\GNAT\2016 and SPARK in C:\SPARK\2016. I installed gnatcoll from a cygwin terminal. What am I doing wrong?