Skip to content
Snippets Groups Projects
Normal view Permalink
Makefile 82 B
Newer Older
Gabriel's avatar
fewer makefiles  
Gabriel committed
1 
LP = lambdapi
hondet's avatar
Reorganise, less hierarchy in package, coercions
hondet committed
2 3 
LP_SRC != find . -type f -name "*.lp"
Gabriel's avatar
fewer makefiles  
Gabriel committed
4 
.include "../mk/lambdapi.mk"