search

AdaCore / spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249 stars 33 forks source link

[PATCH] Makefile: use `$(INSTALLDIR)` rather than `install/` #42

Closed Irvise closed 1 year ago

Irvise commented 1 year ago

This is a minor bugfix to make the installation procedure use the set $(INSTALLDIR) target directory.

CLAassistant commented 1 year ago

CLA assistant check
All committers have signed the CLA.

kanigsson commented 1 year ago

Thanks for your contribution! The patch is going through our internal review and will be merged shortly.