daily pastebin goal
83%
SHARE
TWEET

Untitled

a guest Feb 16th, 2019 66 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. diff -rc /tmp/ocaml-3.12.1/stdlib/Makefile.shared ./stdlib/Makefile.shared
  2. *** /tmp/ocaml-3.12.1/stdlib/Makefile.shared    Fri May 21 07:28:21 2010
  3. --- ./stdlib/Makefile.shared    Mon Sep  5 17:39:14 2011
  4. ***************
  5. *** 49,56 ****
  6.   stdlib.cmxa: $(OBJS:.cmo=.cmx)
  7.     $(CAMLOPT) -a -o stdlib.cmxa $(OBJS:.cmo=.cmx)
  8.  
  9. ! sys.ml: sys.mlp ../VERSION
  10. !   sed -e "s|%%VERSION%%|`sed -e 1q ../VERSION`|" sys.mlp >sys.ml
  11.  
  12.   clean::
  13.     rm -f sys.ml
  14. --- 49,57 ----
  15.   stdlib.cmxa: $(OBJS:.cmo=.cmx)
  16.     $(CAMLOPT) -a -o stdlib.cmxa $(OBJS:.cmo=.cmx)
  17.  
  18. ! sys.ml: sys.mlp ../VERSION ../config/m.h
  19. !   ws=`sed -n -e 's/^#define ARCH_SIXTYFOUR/64/p' -e 's/^#undef ARCH_SIXTYFOUR/32/p' ../config/m.h`; \
  20. !   sed -e "s|%%VERSION%%|`sed -e 1q ../VERSION`|" -e "s|%%WORD_SIZE%%|$$ws|" sys.mlp >sys.ml
  21.  
  22.   clean::
  23.     rm -f sys.ml
  24. diff -rc /tmp/ocaml-3.12.1/stdlib/sys.mlp ./stdlib/sys.mlp
  25. *** /tmp/ocaml-3.12.1/stdlib/sys.mlp    Mon Feb 26 09:21:57 2007
  26. --- ./stdlib/sys.mlp    Mon Sep  5 17:35:33 2011
  27. ***************
  28. *** 23,29 ****
  29.   external get_argv: unit -> string * string array = "caml_sys_get_argv"
  30.  
  31.   let (executable_name, argv) = get_argv()
  32. ! let (os_type, word_size) = get_config()
  33.   let max_array_length = (1 lsl (word_size - 10)) - 1;;
  34.   let max_string_length = word_size / 8 * max_array_length - 1;;
  35.  
  36. --- 23,30 ----
  37.   external get_argv: unit -> string * string array = "caml_sys_get_argv"
  38.  
  39.   let (executable_name, argv) = get_argv()
  40. ! let (os_type, _) = get_config()
  41. ! let word_size = %%WORD_SIZE%%;;
  42.   let max_array_length = (1 lsl (word_size - 10)) - 1;;
  43.   let max_string_length = word_size / 8 * max_array_length - 1;;
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top