search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Make commands systematically print an error when vscode isn't installed #1092

Closed gabrielhdt closed 5 months ago

gabrielhdt commented 5 months ago

Running make bin fails with

$ make bin
/bin/sh: 1: vsce: not found
make: *** No rule to make target 'bin'.  Stop.

It'd be better if the makefile didn't require vscode to make the lambdapi binary.

gabrielhdt commented 5 months ago

I realised the bin target doesn't exist, so it just fails computing $(shell vsce ...) and then does nothing; but targets get built.