~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/rtl/rel9/lib/Makefile

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
include ../../../Makefile-generic
2
 
 
3
 
BOOKS = basic bits log logn float reps round \
4
 
        rtl rtlarr bvecp-raw-helpers bvecp-helpers simple-loop-helpers \
5
 
        simplify-model-helpers util add rom-helpers clocks package-defs \
6
 
        openers mult \
7
 
        logn2log srt sqrt masc  \
8
 
        gl top
9
 
 
10
 
# Dependencies:
11
 
-include Makefile-deps