← Back to branch summary

~ubuntu-branches/ubuntu/natty/facile/natty

« back to all changes in this revision

Viewing changes to Makefile

  • Committer: Bazaar Package Importer
  • Author(s): Steffen Joeris
  • Date: 2005-11-22 19:18:05 UTC
  • Revision ID: james.westby@ubuntu.com-20051122191805-qys7cg0e9np0hx6j
Tags: upstream-1.1
Import upstream version 1.1

Show diffs side-by-side

added added

removed removed

Lines of Context:
Makefile
 
1
# $Id: release_Makefile,v 1.7 2003/05/15 09:13:16 brisset Exp $
 
2
 
 
3
include config_Makefile
 
4
 
 
5
compile:
 
6
        cd src; make
 
7
 
 
8
install:
 
9
        if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi
 
10
        cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $(FACILEDIR)
 
11
        chmod a+r $(FACILEDIR)/facile.cmi
 
12
        chmod a+r $(FACILEDIR)/facile.cma
 
13
        chmod a+r $(FACILEDIR)/facile.cmxa
 
14
        chmod a+r $(FACILEDIR)/facile.a
 
15
 
 
16
clean:
 
17
        cd src; make clean
 
18
 
 
19
distclean uninstall:
 
20
        rm -fr $(FACILEDIR)
 
21
 
 
22
check:
 
23
        cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8