diff options
Diffstat (limited to 'lib/compilers/ppci.js')
-rw-r--r-- | lib/compilers/ppci.js | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/lib/compilers/ppci.js b/lib/compilers/ppci.js index 9ff086d99..ac9aba87b 100644 --- a/lib/compilers/ppci.js +++ b/lib/compilers/ppci.js @@ -22,9 +22,9 @@ // ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE // POSSIBILITY OF SUCH DAMAGE. -const BaseCompiler = require('../base-compiler'), - exec = require('../exec'), - logger = require('../logger').logger; +import { BaseCompiler } from '../base-compiler'; +import * as exec from '../exec'; +import { logger } from '../logger'; const forbiddenOptions = new Set([ '--report', @@ -32,7 +32,7 @@ const forbiddenOptions = new Set([ '--html-report', ]); -class PPCICompiler extends BaseCompiler { +export class PPCICompiler extends BaseCompiler { static get key() { return 'ppci'; } filterUserOptions(args) { @@ -62,5 +62,3 @@ class PPCICompiler extends BaseCompiler { } } } - -module.exports = PPCICompiler; |