coq-pcc/Makefile.patch

   1 --- Makefile    2011-05-10 16:30:47.776412693 +0200
   2 +++ Makefile.mod        2011-05-10 16:32:38.624081448 +0200
   3 @@ -29,6 +29,9 @@
   4
   5  CAMLP4LIB:=$(shell $(CAMLP4BIN)$(CAMLP4) -where)
   6
   7 +DESTDIR:=$(DESTDIR)
   8 +FINALDEST:=$(DESTDIR)$(COQLIB)
   9 +
  10  ##########################
  11  #                        #
  12  # Libraries definitions. #
  13 @@ -202,22 +205,22 @@
  14         $(MAKE) all "OPT:=-opt"
  15
  16  install:
  17 -       mkdir -p $(COQLIB)/user-contrib
  18 +       mkdir -p $(FINALDEST)/user-contrib
  19         (cd tactics; for i in $(VOFILES1); do \
  20 -        install -d `dirname $(COQLIB)/user-contrib/ProgramCalculation/$$i`; \
  21 -        install $$i $(COQLIB)/user-contrib/ProgramCalculation/$$i; \
  22 +        install -d `dirname $(FINALDEST)/user-contrib/ProgramCalculation/$$i`; \
  23 +        install $$i $(FINALDEST)/user-contrib/ProgramCalculation/$$i; \
  24          done)
  25         (cd theories/theory_of_lists; for i in $(VOFILES2); do \
  26 -        install -d `dirname $(COQLIB)/user-contrib/ProgramCalculation/Theories/$$i`; \
  27 -        install $$i $(COQLIB)/user-contrib/ProgramCalculation/Theories/$$i; \
  28 +        install -d `dirname $(FINALDEST)/user-contrib/ProgramCalculation/Theories/$$i`; \
  29 +        install $$i $(FINALDEST)/user-contrib/ProgramCalculation/Theories/$$i; \
  30          done)
  31         (cd equivalences; for i in $(VOFILES3); do \
  32 -        install -d `dirname $(COQLIB)/user-contrib/ProgramCalculation/Equivalences/$$i`; \
  33 -        install $$i $(COQLIB)/user-contrib/ProgramCalculation/Equivalences/$$i; \
  34 +        install -d `dirname $(FINALDEST)/user-contrib/ProgramCalculation/Equivalences/$$i`; \
  35 +        install $$i $(FINALDEST)/user-contrib/ProgramCalculation/Equivalences/$$i; \
  36          done)
  37         (for i in $(VOFILES0); do \
  38 -        install -d `dirname $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i`; \
  39 -        install $$i $(COQLIB)/user-contrib/$(INSTALLDEFAULTROOT)/$$i; \
  40 +        install -d `dirname $(FINALDEST)/user-contrib/$(INSTALLDEFAULTROOT)/$$i`; \
  41 +        install $$i $(FINALDEST)/user-contrib/$(INSTALLDEFAULTROOT)/$$i; \
  42          done)
  43
  44  clean: