Fixed bug in installation target for 64 bit builds

PrincetonUniversity · Jul 30, 2020 · b4cbfe8 · b4cbfe8
1 parent 49b4d64
commit b4cbfe8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -226,10 +226,10 @@ ifeq ($(ARCH),x86)
   ifeq ($(BITSIZE),32)
     INSTALLDIR ?= $(COQLIB)/user-contrib/VST
   else
-    INSTALLDIR ?= $(realpath $(COQLIB)/../coq-variant/VST64/VST)
+    INSTALLDIR ?= $(abspath $(COQLIB)/../coq-variant/VST64/VST)
   endif
 else
-  INSTALLDIR ?= $(realpath $(COQLIB)/../coq-variant/VST_$(ARCH)_$(BITSIZE)/VST
+  INSTALLDIR ?= $(abspath $(COQLIB)/../coq-variant/VST_$(ARCH)_$(BITSIZE)/VST
 endif
 
 # ########## Flags ##########