nick8325 / equinox

Paradox model finder and equinox theorem prover for first-order logic.
MIT License
19 stars 4 forks source link

Create the executable targets under the same name as the target. #10

Closed jessealama closed 11 years ago

jessealama commented 11 years ago

Another approach is to declare that paradox.exe, etc. are phony targets (executing the recipe does not create a file whose name is the target).

nick8325 commented 11 years ago

Ah, but we want the executable name to be paradox and not paradox.exe, at least on non-Windows systems.

I have just pushed a patch that removes these silly duplicate targets and builds paradox.exe on Windows and paradox on other OSes.