mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
e17f5d1157
- Support staging PR: ports/189848 Submitted by: Alex Stangl <alex@stangl.us> (maintainer)
11 lines
838 B
Plaintext
11 lines
838 B
Plaintext
--- ./src/Makefile.orig 2013-03-01 03:06:44.000000000 -0600
|
|
+++ ./src/Makefile 2014-05-13 23:46:54.000000000 -0500
|
|
@@ -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
|