23928c616f
- Unmute install commands [1] - Remove GTK2 option, it's not working couple versions back PR: 203522 [1] Submitted by: Alex Strangl (maintainer) [1] MFH: 2015Q4
10 lines
831 B
Text
10 lines
831 B
Text
--- ./src/Makefile.orig 2013-03-01 03:06:44.000000000 UTC
|
|
+++ ./src/Makefile 2014-05-13 23:46:54.000000000
|
|
@@ -2,7 +2,6 @@
|
|
|
|
include ../tools/Makefile.inc
|
|
|
|
-PREFIX=/usr
|
|
OCAMLI=-I ../wserver -I ../dag2html
|
|
GWC_OBJS=argl.cmo lock.cmo adef.cmo iovalue.cmo buff.cmo name.cmo mutil.cmo secure.cmo btree.cmo futil.cmo dutil.cmo database.cmo db2.cmo db2disk.cmo diff.cmo outbase.cmo gwdb.cmo pqueue.cmo progrBar.cmo consang.cmo consangAll.cmo checkItem.cmo check.cmo calendar.cmo notesLinks.cmo gwcomp.cmo db1link.cmo gwc.cmo
|
|
GWC2_OBJS=calendar.cmo adef.cmo iovalue.cmo buff.cmo name.cmo mutil.cmo gwcomp.cmo argl.cmo lock.cmo progrBar.cmo secure.cmo iochan.cmo futil.cmo db2.cmo db2out.cmo notesLinks.cmo db2disk.cmo dutil.cmo btree.cmo database.cmo gwdb.cmo consang.cmo consangAll.cmo checkItem.cmo check.cmo db2link.cmo gwc2.cmo
|