]> git.pld-linux.org Git - packages/jed.git/blame - jed-makefile.patch
- massive attack s/pld.org.pl/pld-linux.org/
[packages/jed.git] / jed-makefile.patch
CommitLineData
a6e56c7e 1--- jed-B0.99-15/src/Makefile.in.orig Mon Oct 8 06:48:16 2001
2+++ jed-B0.99-15/src/Makefile.in Tue Apr 23 16:02:39 2002
50c94a0b 3@@ -14,9 +14,11 @@
ff362262 4 exec_prefix = @exec_prefix@
5 #JED_ROOT = $(HOME)/src/jed# <--- make sure # is at end of file!!
50c94a0b 6 #JED_ROOT = $(prefix)/jed# <--- make sure # is at end of file!!
ff362262 7-JED_ROOT = @JED_ROOT@# <--- make sure # is at end of file!!
ff362262 8+#JED_ROOT = @JED_ROOT@# <--- make sure # is at end of file!!
50c94a0b 9+JED_ROOT = @datadir@/jed# <--- make sure # is at end of file!!
ff362262 10 BIN_DIR = @bindir@
11 MAN_DIR = @mandir@/man1
12+INFO_DIR = @infodir@
13 INSTALL = @INSTALL@
14 INSTALL_DATA = @INSTALL_DATA@
15 MKINSDIR = ../autoconf/mkinsdir.sh
50c94a0b 16@@ -28,7 +30,7 @@
f7ced9a1
SZ
17 JED_COLOR_FILES = ../lib/colors/*.sl ../lib/colors/README
18 XJED_COLOR_FILES = ../lib/colors/Xjed/*.sl
ff362262 19 JED_TM_FILES = ../lib/tm/*.tm
20-JED_INFO_FILES = ../info/*
21+JED_INFO_FILES = ../info/jed.*
22
23 #---------------------------------------------------------------------------
50c94a0b
PG
24 # DESTDIR is designed to facilitate making packages. Normally it is empty
25@@ -52,10 +54,10 @@
ff362262 26 #---------------------------------------------------------------------------
27 # 1. Linux GPM Mouse support
28 # Uncomment next FOUR lines for GPM mouse support
a6e56c7e 29-#MOUSEFLAGS = -DHAS_GPM_MOUSE
ff362262 30-#MOUSELIB = -lgpm
31-#GPMMOUSEO = gpmmouse.o
32-#OBJGPMMOUSEO = $(OBJDIR)/$(GPMMOUSEO)
a6e56c7e 33+MOUSEFLAGS = -DHAS_GPM_MOUSE
ff362262 34+MOUSELIB = -lgpm
35+GPMMOUSEO = gpmmouse.o
36+OBJGPMMOUSEO = $(OBJDIR)/$(GPMMOUSEO)
37
38 #---------------------------------------------------------------------------
39 # S-Lang library location
This page took 0.064834 seconds and 4 git commands to generate.