compatible with rcoq9 + coq package (#57)

* compatible with rcoq9 + coq package

* Update changelog

CHANGELOG.md

@@ -1,3 +1,5 @@
+## 0.5.0
+*  compatible with rcoq9 + coq package (#57 by @thery)
 ## 0.4.1
 * Change in the xml-protocol (#811 by @thery)
 ## 0.4.0

package.json

@@ -7,7 +7,7 @@
     "email": "[email protected]",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.4.1",
+  "version": "0.5.0",
   "publisher": "coq-community",
   "license": "MIT",
   "icon": "images/logo.png",

server/src/coqtop/CoqTop.ts

@@ -102,7 +102,7 @@ export function detectVersion(coqtopModule: string, cwd: string, console?: {log:
       });
 
       coqtop.on('close', () => {
-        const ver = /^\s*The Coq Proof Assistant, version (.+?)\s/.exec(result);
+        const ver = /^\s*The (?:Coq Proof Assistant|Rocq Prover), version (.+?)\s/.exec(result);
         // if(!ver)
         //   console.warn('Could not detect coqtop version');
         resolve(!ver ? undefined : ver[1]);

server/src/coqtop/CoqTop8.ts

@@ -227,6 +227,10 @@ export class CoqTop extends IdeSlave8 implements coqtop.CoqTop {
     }
     if (semver.satisfies(this.coqtopVersion, ">= 8.9")) {
       var coqtopModule = this.coqidetopBin;
+      if (semver.satisfies(this.coqtopVersion, ">= 9.0")) {
+        // with rocq not .opt
+        coqtopModule = coqtopModule.replace(/(.opt)$/, '');
+      }
       // var coqtopModule = 'cmd';
       var args = [
         // '/D /C', this.coqPath + '/coqtop.exe',