Changeset 6 for cegar_dev/cegar/Makefile
- Timestamp:
- Jul 8, 2011, 4:32:32 PM (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
cegar_dev/cegar/Makefile
r3 r6 1 VIS_PATH=/dsk/l1/misc/ Soft1 VIS_PATH=/dsk/l1/misc/TOOLS 2 2 LIB_VIS=$(VIS_PATH)/lib 3 3 LIB_OPT= -lMonvis -lcu -lglu -lm -lbsd -lreadline -ltermcap -lfl
Note: See TracChangeset
for help on using the changeset viewer.