diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fixed cplint new dir

Browse Source
This commit is contained in:
RIGUZZI FABRIZIO - Dipartimento di Ingegneria 2010-03-18 15:16:28 +01:00
parent 1245c85ba1
commit 601bc81464
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Makefile.in
View File

@ -487,7 +487,7 @@ all: startup.yss
@USE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE)) @USE_MINISAT@ (cd packages/swi-minisat2/C; $(MAKE))
@INSTALL_MATLAB@ (cd library/matlab; $(MAKE)) @INSTALL_MATLAB@ (cd library/matlab; $(MAKE))
@ENABLE_JPL@ @INSTALL_DLLS@ (cd packages/jpl; $(MAKE)) @ENABLE_JPL@ @INSTALL_DLLS@ (cd packages/jpl; $(MAKE))
@ENABLE_CPLINT@ (cd cplint; $(MAKE)) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE))
@USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE)) @USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE))
startup.yss: yap@EXEC_SUFFIX@ $(PL_SOURCES) startup.yss: yap@EXEC_SUFFIX@ $(PL_SOURCES)
@ -540,7 +540,7 @@ install_unix: startup.yss libYap.a
for h in $(INTERFACE_HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done for h in $(INTERFACE_HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done
$(INSTALL) config.h $(DESTDIR)$(INCLUDEDIR)/config.h $(INSTALL) config.h $(DESTDIR)$(INCLUDEDIR)/config.h
$(INSTALL) parms.h $(DESTDIR)$(INCLUDEDIR)/parms.h $(INSTALL) parms.h $(DESTDIR)$(INCLUDEDIR)/parms.h
@ENABLE_CPLINT@ (cd cplint; $(MAKE) install) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) install)
@USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install) @USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install)
@ -578,7 +578,7 @@ install_win32: startup.yss
@ENABLE_WINCONSOLE@ (cd LGPL/swi_console; $(MAKE) install) @ENABLE_WINCONSOLE@ (cd LGPL/swi_console; $(MAKE) install)
@INSTALL_MATLAB@ (cd library/matlab; $(MAKE) install) @INSTALL_MATLAB@ (cd library/matlab; $(MAKE) install)
(cd library/tries; $(MAKE) install) (cd library/tries; $(MAKE) install)
@ENABLE_CPLINT@ (cd cplint; $(MAKE) install) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) install)
@USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install) @USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install)
install_library: @YAPLIB@ install_library: @YAPLIB@
@ -715,7 +715,8 @@ realclean_docs: clean_docs
rm -f yap.ps yap.html yap_toc.html yap.pdf yap.info* rm -f yap.ps yap.html yap_toc.html yap.pdf yap.info*
installcheck: installcheck:
@ENABLE_CPLINT@ (cd cplint; $(MAKE) installcheck) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) installcheck)
# DO NOT DELETE THIS LINE -- make depend depends on it. # DO NOT DELETE THIS LINE -- make depend depends on it.