Only set PREFIX if not already set

eayus / sirdi

Package manager for Idris

GNU General Public License v3.0

35 stars 11 forks source link

Only set PREFIX if not already set #31

Closed CodingCellist closed 2 years ago

CodingCellist commented 2 years ago

Currently, the PREFIX in the makefile overwrites exported environment variables. By using ?= instead of =, this behaviour is avoided and exported PREFIXes work as expected.