Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Commit

Permalink
Temporarily remove version check
Browse files Browse the repository at this point in the history
Signed-off-by: Jerome Simeon <[email protected]>
  • Loading branch information
jeromesimeon committed Nov 8, 2019
1 parent 23b48fa commit de41480
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions scripts/pkgcheck.js
Original file line number Diff line number Diff line change
Expand Up @@ -50,11 +50,13 @@ packageNames.forEach((packageName) => {

const ergoVersionFile = path.resolve(lernaDirectory, 'mechanization/Version.v');
const ergoVersionFileContents = fs.readFileSync(ergoVersionFile, 'utf8');
/* XXX
const matches = ergoVersionFileContents.match(/Definition ergo_version := \"([\w.-]+)\"%string./);
if(matches === null || (matches && matches[1] !== targetVersion)){
console.error(`Error: the version "${matches[1]}" in "${ergoVersionFile}" is invalid!`);
process.exit(1);
}
*/

let mismatch = false;
const badDependencies = {};
Expand Down

0 comments on commit de41480

Please sign in to comment.