← Back to branch summary

~ubuntu-branches/ubuntu/lucid/ladr/lucid

« back to all changes in this revision

Viewing changes to ladr/int_code.h.bak

  • Committer: Bazaar Package Importer
  • Author(s): Stefan Lesicnik
  • Date: 2009-04-29 21:09:20 UTC
  • mfrom: (5.1.2 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090429210920-ji7hitynug30zjtb
Tags: 0.0.200902a-1ubuntu1
https://launchpad.net/bugs/369468
* Merge from debian unstable, remaining changes: (LP: #369468)
  - Drop -shared from the libtool command to make libladr.la in
    debian/patches/01-libtoolise.dpatch so that both the shared and
    static libraries are built. The .install file tries to install both,
    and if -shared is passed the .a isn't built and the package fails
    to build. This appears to be a change in libtool behaviour.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ladr/int_code.h.bak
 
1
/*  Copyright (C) 2006, 2007 William McCune
 
2
 
 
3
    This file is part of the LADR Deduction Library.
 
4
 
 
5
    The LADR Deduction Library is free software; you can redistribute it
 
6
    and/or modify it under the terms of the GNU General Public License,
 
7
    version 2.
 
8
 
 
9
    The LADR Deduction Library is distributed in the hope that it will be
 
10
    useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
 
11
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
12
    GNU General Public License for more details.
 
13
 
 
14
    You should have received a copy of the GNU General Public License
 
15
    along with the LADR Deduction Library; if not, write to the Free Software
 
16
    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 
17
*/
 
18
 
 
19
#ifndef TP_INT_CODE_H
 
20
#define TP_INT_CODE_H
 
21
 
 
22
#include "just.h"
 
23
#include "ibuffer.h"
 
24
 
 
25
/* INTRODUCTION
 
26
*/
 
27
 
 
28
/* Public definitions */
 
29
 
 
30
/* End of public definitions */
 
31
 
 
32
/* Public function prototypes from int_code.c */
 
33
 
 
34
void put_clause_to_ibuf(Ibuffer ibuf, Topform c);
 
35
 
 
36
Topform get_clause_from_ibuf(Ibuffer ibuf);
 
37
 
 
38
void check_ibuf_clause(Topform c);
 
39
 
 
40
#endif  /* conditional compilation of whole file */