Return to simple.ml CVS log

Up to [local] / OpenXM / src / ox_maple

Annotation of OpenXM/src/ox_maple/simple.ml, Revision 1.1

1.1     ! takayama    1: # $OpenXM$
        !             2: ox_start_sm1:=define_external(
        !             3:    'ml_start_asir',
        !             4:    'RETURN'::integer[4],
        !             5:    'LIB'="libsimple.so");
        !             6:
        !             7: ox_push_int:=define_external(
        !             8:    'ml_push_int',
        !             9:    'num1'::integer[4],
        !            10:    'RETURN'::integer[4],
        !            11:    'LIB'="libsimple.so");
        !            12:
        !            13: ox_execute_string:=define_external(
        !            14:    'ml_execute_string',
        !            15:    'num1'::string[],
        !            16:    'RETURN'::integer[4],
        !            17:    'LIB'="libsimple.so");
        !            18:
        !            19: ox_pop_string:=define_external(
        !            20:    'ml_pop_string',
        !            21:    'RETURN'::string[],
        !            22:    'LIB'="libsimple.so");
        !            23:
        !            24: