Changeset 20 for vis_dev


Ignore:
Timestamp:
Jul 19, 2011, 1:47:50 PM (13 years ago)
Author:
cecile
Message:

main modified

Location:
vis_dev
Files:
1 deleted
5 edited

Legend:

Unmodified
Added
Removed

  • vis_dev/dev/Makefile

    r15 r20  
    33INCVISDIR=${LIBVISDIR}/include/
    44INCGLUDIR=${LIBGLUDIR}/include/
     5LIB=-lvis2 -lcu -lglu -lm -lbsd   -lreadline  -lfl
    56
    6 a.out : main.c utilities.o
    7         gcc main.c -lm -L$(LIBGLUDIR) -lglu -L$(LIBVISDIR) -lvis2  -I$(INCVISDIR) -I$(INCGLUDIR)
     7a.out : main.o utilities.o
     8        gcc  -lm -L$(LIBGLUDIR) -L$(LIBVISDIR) main.o utilities.o $(LIB)
    89
     10main.o : main.c
     11        gcc -c main.c -I$(INCGLUDIR) -I$(INCVISDIR)
    912utilities.o : utilities.c
    10         gcc -c utilities.c -lm -L$(LIBGLUDIR) -lglu -L$(LIBVISDIR) -lvis2  -I$(INCVISDIR) -I$(INCGLUDIR)
     13        gcc -c utilities.c -I$(INCGLUDIR) -I$(INCVISDIR)
    1114clean:
    1215        rm *.o a.out

  • vis_dev/dev/main.c

    r15 r20  
    11#include "stdio.h"
    2 #include "hrc.h"
    3 #include "ntk.h"
     2#include "utilities.h"
    43
    54int main()
    65{
    7 Hrc_Manager_t * hmge;
     6  Hrc_Manager_t * hmgr1;
     7  FILE * file1;
     8    file1 =  fopen("example/and2.mv","r");
     9        hmgr1 = rlmv( file1);
     10        if(hmgr1 !=NULL)
     11        {
     12                 Hrc_Node_t * n = Hrc_ManagerReadRootNode(hmgr1);
     13                printf("***** HRC : %s %d\n",  Hrc_NodeReadModelName(n));
     14        }
     15
    816  return 0;
    917}

  • vis_dev/dev/utilities.c

    r15 r20  
    452452       
    453453}
    454 

  • vis_dev/dev/utilities.h

    r15 r20  
    1616#include <stdio.h>
    1717#include <stdlib.h>
     18/********************************************/
     19/******* Vis magic formulae *****************/
     20FILE *vis_stderr;
     21FILE *vis_stdout;
     22FILE *vis_historyFile;
     23FILE *vis_stdpipe;
     24array_t *vm_commandHistoryArray;
     25char *vm_programName;
     26/********************************************/
    1827
    1928
    20 static int
     29int
    2130nodenameCompare(
    2231  const void * node1,
    … …  
    3342  return (strcmp(name1, name2));
    3443}
    35 
    3644// Read blifmv file
    3745Hrc_Manager_t * rlmv(FILE * file);

  • vis_dev/glu-2.3/src/cuPort/cuPort.c

    r13 r20  
    706706******************************************************************************/
    707707bdd_t *
    708 bdd_and_smooth(
     708dd_and_smooth(
    709709  bdd_t *f,
    710710  bdd_t *g,
Note: See TracChangeset for help on using the changeset viewer.