PERFORCE change 76202 for review

Andrew Reisse areisse at FreeBSD.org
Fri Apr 29 14:53:20 GMT 2005


http://perforce.freebsd.org/chv.cgi?CH=76202

Change 76202 by areisse at areisse_ibook on 2005/04/29 14:52:26

	Support for generating flask security classes from mig specifications.

Affected files ...

.. //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/Makefile#2 edit
.. //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/flask.c#1 add
.. //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/global.c#2 edit
.. //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/global.h#2 edit
.. //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/mig.c#2 edit
.. //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/mig.sh#2 edit

Differences ...

==== //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/Makefile#2 (text+ko) ====

@@ -22,7 +22,7 @@
 OTHERLINKED = lexxer.l parser.y
 
 CFILES = error.c global.c header.c mig.c routine.c server.c\
-         statement.c string.c type.c user.c utils.c
+         statement.c string.c type.c user.c utils.c flask.c
 
 OTHERSRCS = i386 Makefile Makefile.postamble Makefile.preamble mig.sh\
             ppc

==== //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/global.c#2 (text+ko) ====

@@ -103,6 +103,7 @@
 string_t DefinesHeaderFileName = strNULL;
 string_t UserFileName = strNULL;
 string_t ServerFileName = strNULL;
+string_t FlaskSCFileName = strNULL;
 string_t GenerationDate = strNULL;
 
 void

==== //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/global.h#2 (text+ko) ====

@@ -98,6 +98,7 @@
 extern string_t DefinesHeaderFileName;
 extern string_t UserFileName;
 extern string_t ServerFileName;
+extern string_t FlaskSCFileName;
 
 extern void more_global();
 

==== //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/mig.c#2 (text+ko) ====

@@ -233,6 +233,15 @@
 		else
 		    fatal("unknown flag: '%s'", argv[0]);
 		break;
+	      case 'f':
+		if (streql(argv[0], "-flasksc"))
+		{
+		    --argc; ++argv;
+		    if (argc == 0)
+			fatal("missing name for -flasksc option");
+		    FlaskSCFileName = strmake(argv[0]);
+		}
+		break;
 	      case 'm':
 		if (streql(argv[0], "-maxonstack"))
 		{
@@ -364,6 +373,13 @@
     }
     WriteServer(server, stats);
     fclose(server);
+
+    if (FlaskSCFileName)
+    {
+	    FILE *flasksc = myfopen(FlaskSCFileName, "w");
+	    WriteFlaskSecClass(flasksc, stats);
+	    fclose(flasksc);
+    }
     if (BeVerbose)
 	printf("done.\n");
 

==== //depot/projects/trustedbsd/sedarwin7/src/darwin/bootstrap_cmds/migcom.tproj/mig.sh#2 (text+ko) ====

@@ -73,6 +73,7 @@
 	-sheader ) sheader="$2"; migflags="$migflags $1 $2"; shift; shift;;
 	-iheader ) iheader="$2"; migflags="$migflags $1 $2"; shift; shift;;
 	-dheader ) dheader="$2"; migflags="$migflags $1 $2"; shift; shift;;
+	-flasksc ) flasksc="$2"; migflags="$migflags $1 $2"; shift; shift;;
 	-arch ) arch="$2"; shift ; shift;;
 	-maxonstack ) migflags="$migflags $1 $2"; shift; shift;;
 	-split ) migflags="$migflags $1"; shift;;
To Unsubscribe: send mail to majordomo at trustedbsd.org
with "unsubscribe trustedbsd-cvs" in the body of the message



More information about the trustedbsd-cvs mailing list