Changeset 33214 in project


Ignore:
Timestamp:
02/24/16 15:17:31 (4 years ago)
Author:
Alex Shinn
Message:

rename mini-kanren to reasoned-schemer

Location:
release/4/kanren
Files:
2 deleted
2 edited
3 copied
2 moved

Legend:

Unmodified
Added
Removed
  • release/4/kanren/tags/5.505/kanren.setup

    r27591 r33214  
    1212  "kanren")
    1313
    14 (make (("mini-kanren" ("mini-kanren.so" "mini-kanren.import.so"))
    15        ("mini-kanren.so" ("mini-kanren-runtime.scm")
    16         (run (csc -s -O2 -d1 mini-kanren-runtime.scm -j mini-kanren -o mini-kanren.so)))
    17        ("mini-kanren.import.so" ("mini-kanren.import.scm")
    18         (run (csc -s -O2 -d0 mini-kanren.import.scm)) ) )
    19   "mini-kanren")
     14(make (("reasoned-schemer" ("reasoned-schemer.so" "reasoned-schemer.import.so"))
     15       ("reasoned-schemer.so" ("reasoned-schemer-runtime.scm")
     16        (run (csc -s -O2 -d1 reasoned-schemer-runtime.scm -j reasoned-schemer -o reasoned-schemer.so)))
     17       ("reasoned-schemer.import.so" ("reasoned-schemer.import.scm")
     18        (run (csc -s -O2 -d0 reasoned-schemer.import.scm)) ) )
     19  "reasoned-schemer")
    2020
    2121(install-extension
    22  'mini-kanren
    23  '("mini-kanren.so" "mini-kanren.import.so")
     22 'reasoned-schemer
     23 '("reasoned-schemer.so" "reasoned-schemer.import.so")
    2424 '((version 4.505)))
    2525
  • release/4/kanren/tags/5.505/reasoned-schemer-runtime.scm

    r33213 r33214  
    1010;;; Adapted for Chicken by Alex Shinn 2005-11-02 10:14:45
    1111
    12 (module mini-kanren *
     12(module reasoned-schemer *
    1313  (import scheme chicken)
    1414
    15 (include "mini-kanren.scm")
     15(include "reasoned-schemer.scm")
    1616
    1717(define rhs cdr)
  • release/4/kanren/trunk/kanren.setup

    r27591 r33214  
    1212  "kanren")
    1313
    14 (make (("mini-kanren" ("mini-kanren.so" "mini-kanren.import.so"))
    15        ("mini-kanren.so" ("mini-kanren-runtime.scm")
    16         (run (csc -s -O2 -d1 mini-kanren-runtime.scm -j mini-kanren -o mini-kanren.so)))
    17        ("mini-kanren.import.so" ("mini-kanren.import.scm")
    18         (run (csc -s -O2 -d0 mini-kanren.import.scm)) ) )
    19   "mini-kanren")
     14(make (("reasoned-schemer" ("reasoned-schemer.so" "reasoned-schemer.import.so"))
     15       ("reasoned-schemer.so" ("reasoned-schemer-runtime.scm")
     16        (run (csc -s -O2 -d1 reasoned-schemer-runtime.scm -j reasoned-schemer -o reasoned-schemer.so)))
     17       ("reasoned-schemer.import.so" ("reasoned-schemer.import.scm")
     18        (run (csc -s -O2 -d0 reasoned-schemer.import.scm)) ) )
     19  "reasoned-schemer")
    2020
    2121(install-extension
    22  'mini-kanren
    23  '("mini-kanren.so" "mini-kanren.import.so")
     22 'reasoned-schemer
     23 '("reasoned-schemer.so" "reasoned-schemer.import.so")
    2424 '((version 4.505)))
    2525
  • release/4/kanren/trunk/reasoned-schemer-runtime.scm

    r33213 r33214  
    1010;;; Adapted for Chicken by Alex Shinn 2005-11-02 10:14:45
    1111
    12 (module mini-kanren *
     12(module reasoned-schemer *
    1313  (import scheme chicken)
    1414
    15 (include "mini-kanren.scm")
     15(include "reasoned-schemer.scm")
    1616
    1717(define rhs cdr)
Note: See TracChangeset for help on using the changeset viewer.