Ticket #20467: patch-spim_Makefile.diff

File patch-spim_Makefile.diff, 1.3 KB (added by mdippery@…, 10 years ago)

Updated patchfile for spim's Makefile

  • spim/Makefile

    old new  
    5151# Path of directory that contains documentation:
    5252DOC_DIR = ../Documentation
    5353
    54 
     54prefix = /usr/local
    5555
    5656# Full path for the directory that will hold the executable files:
    57 BIN_DIR = /usr/bin
     57BIN_DIR = $(prefix)/bin
    5858
    5959# Full path for the directory that will hold the exception handler:
    60 EXCEPTION_DIR = /usr/lib/spim
     60EXCEPTION_DIR = $(prefix)/share/spim
    6161
    6262# Full path for the directory that will hold the man files:
    63 MAN_DIR = /usr/share/man/en
     63MAN_DIR = $(prefix)/share/man/man1
    6464
    6565
    6666# If you have flex, use it instead of lex.  If you use flex, define this
     
    174174        rm -f spim spim.exe *.o TAGS test.out lex.yy.c y.tab.c y.tab.h y.output
    175175
    176176install: spim
    177         install -D spim $(BIN_DIR)/spim
    178         install -D -m 0444 $(CPU_DIR)/exceptions.s $(EXCEPTION_DIR)/exceptions.s
     177        install -d $(DESTDIR)$(BIN_DIR)
     178        install -m 0755 spim $(DESTDIR)$(BIN_DIR)/spim
     179        install -d $(DESTDIR)$(EXCEPTION_DIR)
     180        install -m 0644 $(CPU_DIR)/exceptions.s $(DESTDIR)$(EXCEPTION_DIR)/exceptions.
    179181
    180182install-man:
    181         install -D -m 0444 $(DOC_DIR)/spim.man $(MAN_DIR)
     183        install -d $(DESTDIR)$(MAN_DIR)
     184        install -m 0644 $(DOC_DIR)/spim.man $(DESTDIR)$(MAN_DIR)/spim.1
    182185
    183186very-clean: clean
    184187        rm -f configuration