DESTDIR not used in make install and clean removes $PREFIX

[b-lang-org]

DESTDIR not used in make install and clean removes $PREFIX

[jameyhicks]

I meant to add that I plan to submit a PR when I get a bit farther along.

[thoughtpolice]

I also plan on doing a rewrite of the build system and fixing a lot of these problems. Stay tuned! First, I've got to do a few more cleanups. Any patches are welcome though (and my patches are only making any needed changes, nothing major.)

[bpfoley]

@thoughtpolice Cool! Looking forward to it.
@jameyhicks Do you plan on submitting the Debian package to Debian/Ubuntu?

[jameyhicks]

@bpfoley I would be happy to do so but I'm not yet a Debian Maintainer.
@thoughtpolice I'll watch for your patches.

[quark17]

I agree that we need to fix the makefiles to follow the conventions for PREFIX/DESTDIR etc. Here are some thoughts that I had in April, but never recorded:

(1) We can change PREFIX to be DESTDIR (as described in the GNU coding standards). The one thing to be careful about is that Yices references DESTDIR, and we want that to be BSC's build area, not BSC's eventual DESTDIR.

(2) The DESTDIR directory should only be used in install* and uninstall* targets, and we should make sure that we're doing that. (I suspect that we're not, if we're deleting the PREFIX files in a "clean" or "full_clean" target.)

(3) We can stop creating/deleting the PREFIX (now DESTDIR). Instead, we'll create "lib/bsc-" (or whatever layout we decide in issue #85 ) and we can add an uninstall target that will delete it. (We might want the uninstall target to only delete the "bin/" files if they are symlinks that point to the lib directory that we're deleting? In case another version is installed?)

(4) We'll need to add a VERSION variable to the top-level Makefile. It'll be predefined, but can be overwritten. And it'll be passed to src/comp/ where the Makefile there will need to write it into "Version.hs" (avoiding changing the file if the version already matches, so that we're not recompiling unnecessarily).

For reference: https://www.gnu.org/prep/standards/standards.html#Makefile-Conventions