7 port arch contextadb

.gitignore

@@ -1,2 +1,33 @@
+# Ignore files and directories generated by VSCode
 .ai/
 .vscode/
+
+# Ignore directories we don't want to modify
+.github/
+autom3te.cache/
+build-aux/
+docs/
+biggnat-hack/
+obj/
+/obj/gnatprove/
+rtsdir/
+scripts/
+/source/cryptography/
+/source/devices/
+/source/lib/
+/source//memory/
+/source/networking/
+/source/rts/
+/source/userland/
+/source/vfs/
+
+# Ignore Build Files and Directories
+/source/tests/obj/
+/source/tests/bin/
+
+# Ignore GNATprove tarball
+#gnatprove-x86_64-linux-14.1.0-1.tar.gz
+
+#ignore AUnit build directories
+/source/tests/bin/
+/source/tests/obj/

GNUmakefile

@@ -159,4 +159,4 @@ install-strip: install
 .PHONY: uninstall
 uninstall:
 	rm '$(call SHESCAPE,$(DESTDIR)$(datarootdir))/$(PACKAGE_TARNAME)/$(OUTPUT)'
-	rm '$(call SHESCAPE,$(DESTDIR)$(infodir))/ironclad.info'
+	rm '$(call SHESCAPE,$(DESTDIR)$(infodir))/ironclad.info'

autom4te.cache/output.1

@@ -3889,5 +3889,4 @@ fi
 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
   { printf "%s\n" "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
 printf "%s\n" "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
-fi
-
+fi

autom4te.cache/requests

@@ -182,5 +182,4 @@
                         'AM_AUTOMAKE_VERSION' => 1
                       }
                     ], 'Autom4te::Request' )
-           );
-
+           );

build-aux/config.guess

@@ -1477,4 +1477,4 @@ exit 1
 # time-stamp-start: "timestamp='"
 # time-stamp-format: "%:y-%02m-%02d"
 # time-stamp-end: "'"
-# End:
+# End:

build-aux/config.sub

@@ -1798,4 +1798,4 @@ exit
 # time-stamp-start: "timestamp='"
 # time-stamp-format: "%:y-%02m-%02d"
 # time-stamp-end: "'"
-# End:
+# End:

config.log

@@ -260,4 +260,4 @@ target_vendor='limine'
 #define PACKAGE_BUGREPORT "https://ironclad.nongnu.org/usersupport.html"
 #define PACKAGE_URL ""
 
-configure: exit 0
+configure: exit 0

config.status

@@ -926,4 +926,4 @@ which seems to be undefined.  Please make sure it is defined" >&2;}
 done # for ac_tag
 
 
-as_fn_exit 0
+as_fn_exit 0

configure

@@ -3889,6 +3889,4 @@ fi
 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
   { printf "%s\n" "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
 printf "%s\n" "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
-fi
-
-
+fi

configure~

@@ -3889,6 +3889,4 @@ fi
 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
   { printf "%s\n" "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
 printf "%s\n" "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
-fi
-
-
+fi

docs/fdl.texi

@@ -502,4 +502,4 @@ to permit their use in free software.
 
 @c Local Variables:
 @c ispell-local-pdict: "ispell-dict"
-@c End:
+@c End:

ironclad.gpr

@@ -96,4 +96,4 @@ project Ironclad is
                 "-Wl,--undefined=multiboot2,-zmuldefs");
       end case;
    end Linker;
-end Ironclad;
+end Ironclad;

rts.gpr

@@ -59,4 +59,4 @@ library project RTS is
    for Library_Kind use "static";
    for Library_Name use "gnat";
    for Runtime ("Ada") use "rtsdir";
-end RTS;
+end RTS;